Struct CheckProblem

pub struct CheckProblem {
    pub logic: String,
    pub definefun: DefineFun,
    pub examples: IOExamples,
}

A struct representing a problem to be checked for synthesis validity.

This structure comprises essential components required for verifying the correctness of a synthesis problem in the string synthesis module.

It includes a logical representation of the synthesis context as a String, which outlines the constraints and specifications relevant to the synthesis task. Furthermore, it contains a DefineFun element, which likely encapsulates the definition of the function(s) or grammar that need to be synthesized. Additionally, it has an IOExamples member, supplying input/output examples that serve as benchmarks or validation points to corroborate the synthesized solutions against given expectations or specifications. This combination ensures comprehensive representation and validation capacity for synthesis problems.

Fields

logic: String

definefun: DefineFun

examples: IOExamples

Implementations

impl CheckProblem

pub fn parse(input: &str) -> Result<CheckProblem, Error>

Parses the input string to create a CheckProblem instance.

Trait Implementations

impl Clone for CheckProblem

fn clone(&self) -> CheckProblem

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CheckProblem

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

Formats the value using the given formatter.