Struct SynthFun

pub struct SynthFun {
    pub sig: FunSig,
    pub cfg: Cfg,
    pub subproblem: bool,
}

A struct that encapsulates a synthesis function’s core attributes.

It contains the sig, which holds the function’s signature, defining the input and output types and any constraints applicable to the function. The cfg field represents the configuration grammar, likely detailing specific rules or patterns that govern how the function operates or is derived during synthesis. The subproblem field is a boolean flag indicating whether this function represents a subproblem within a larger synthesis task, potentially distinguishing it from primary synthesis functions or marking it for special processing.

Fields

sig: FunSig

cfg: Cfg

subproblem: bool

Implementations

impl SynthFun

pub fn parse(synthfun: Pair<'_, Rule>) -> Result<Self, Error>

Parses a synthfun rule from a given input and constructs a SynthFun instance.

pub fn lookup_nt(&self, nt: &str) -> Option<usize>

Lookup for a non-terminal within the synthesis function’s configuration.

pub fn lookup_arg(&self, arg: &str) -> Option<usize>

Searches for an argument name within the function signature and returns its index if found.

Trait Implementations

impl Clone for SynthFun

fn clone(&self) -> SynthFun

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SynthFun

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.