Struct Cfg

pub struct Cfg {
    pub start: String,
    pub inner: Vec<NonTerminal>,
    pub config: Config,
}

A struct that represents a grammar configuration for the synthesis problem.

It contains three fields: start, inner, and config. The start field is a String representing the initial non-terminal symbol of the grammar. The inner field is a vector of NonTerminal, detailing the additional non-terminals involved in the synthesis process. The config field is an instance of Config, which provides specific settings or parameters that modify or define the grammar’s behavior within the synthesis context. Together, these fields collectively describe the essential components and settings required for configuring the grammar used in string synthesis tasks.

Fields

start: String

inner: Vec<NonTerminal>

config: Config

Implementations

impl Cfg

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

Parses a Pair using a context-free grammar (Cfg) representation and returns a Cfg.

The function takes a Pair object that adheres to an outlined grammatical rule (Rule), transforming it into a collection of NonTerminal elements while also handling configuration through optional Config parsing.

pub fn reset_start(&mut self)

This function resets the position of the start non-terminal in the control flow graph.

pub fn get_nt_by_type(&self, ty: &Type) -> String

Retrieves the name of the non-terminal by type.

Trait Implementations

impl Clone for Cfg

fn clone(&self) -> Cfg

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Cfg

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

Formats the value using the given formatter.