Struct NonTerminal

pub struct NonTerminal {
    pub name: String,
    pub ty: Type,
    pub rules: Vec<ProdRule>,
    pub config: Config,
}

A struct representing a grammar non-terminal.

This construct includes several fields essential for defining a non-terminal within a string synthesis problem. The name field holds the identifier for the non-terminal, while ty specifies the associated type. The rules field is a collection of production rules that describe how this non-terminal can be expanded. The start field is a boolean flag indicating whether this non-terminal serves as the starting point in the grammar. Lastly, config encompasses additional settings or parameters that may influence the synthesis process for this non-terminal.

Fields

name: String

ty: Type

rules: Vec<ProdRule>

config: Config

Implementations

impl NonTerminal

pub fn get_op1(&self, op1: &str) -> Option<ProdRule>

Retrieves a unary operation production rule by name.

This function iterates through the list of production rules associated with a non-terminal to find a unary operation rule (Op1) matching the specified operation name. If a matching Op1 operation is found, it returns the corresponding production rule; otherwise, it returns None. This functionality enables specific lookups for unary operations within a non-terminal’s rule set.

pub fn get_op2(&self, op2: &str) -> Option<ProdRule>

Retrieves an Op2 production rule matching a given operation name.

This method iterates over the set of production rules associated with a non-terminal. For each rule, if the rule is an Op2 operation and its name matches the specified op2 string, the method returns a cloned instance of that rule. If no matching rule is found, it returns None. This allows for extracting specific binary operations from the rule set, aiding in identifying or constructing expressions based on these operations.

pub fn get_op3(&self, op3: &str) -> Option<ProdRule>

Retrieves a ProdRule of type Op3 from the NonTerminal if it matches a specific operation name.

This method iterates over the rules vector within a NonTerminal instance and checks if each rule is an Op3 operation. If an Op3 operation matches the given op3 string name, it returns a clone of that ProdRule. If no matching operation is found, the method returns None.

pub fn get_all_formatter(&self) -> Vec<(Op1Enum, usize)>

Retrieves a vector of all one-operand operations that are formatting operations from the production rules associated with the non-terminal.

This method iterates through the list of production rules, checking each rule to see if it is a unary operation (Op1). If the operation is identified as a formatting operation via is_formatting_op, it adds it to the results along with its associated non-terminal index. The method compiles these into a vector of tuples containing the operation enum and the index, which is then returned.

pub fn map_nt_number(&mut self, f: impl FnMut(usize) -> usize)

Trait Implementations

impl Clone for NonTerminal

fn clone(&self) -> NonTerminal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NonTerminal

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

Formats the value using the given formatter.