Expand description
Context-free grammar
Structs§
- Cfg
- Context-free grammar representation
- CfgConfig
- A configuration structure for controlling various parameters related to the synthesis problem-solving process.
- NonTerminal
- A struct representing a grammar non-terminal.
Enums§
- Prod
Rule - An enum representing production rules for expressions in the synthesis problem framework.