Module problem

Expand description

Parser for Sygus Problem

Structs§

Cfg: A struct that represents a grammar configuration for the synthesis problem.
FunSig: A struct that represents a function signature.
NonTerminal: A struct that encapsulates a non-terminal symbol in the context of string synthesis.
PBEProblem: A struct representing a synthesis problem to be solved. This structure contains four fields: logic, a string specifying the logic or domain in which the synthesis problem is defined; synthfuns, a vector of SynthFun instances representing the functions to be synthesized as part of solving the problem; problem_index, a usize value denoting the particular index or identifier of this problem within a broader set of problems; and examples, an IOExamples instance that holds input-output exemplars relevant to the synthesis task, to ground the problem solution in practical demonstrations of expected behavior.
Position: A cursor position in a &str which provides useful methods to manually parse that string.
ProblemParser: A unit struct that serves as a parser for synthesis problems.
Span: A span over a &str. It is created from either two Positions or from a Pair.
SynthFun: A struct that encapsulates a synthesis function’s core attributes.

new_costom_error_pos: Constructs and returns an error with a custom error message and position.
new_custom_error_span: Creates a new custom error instance associated with a specific span.