Struct IOExamples

pub struct IOExamples {
    pub(crate) inputs: Vec<Value>,
    pub(crate) output: Value,
}

A struct that holds input and output examples for string synthesis problems.

The structure consists of two fields: inputs, which is a vector containing multiple Value elements, and output, a single Value representing the expected result. This setup is designed to facilitate the storage and retrieval of example data necessary for evaluating and validating synthesis algorithms, by providing concrete cases of input-output relationships.

Fields

inputs: Vec<Value>

output: Value

Implementations

impl IOExamples

pub(crate) fn parse( examples: Pair<'_, Rule>, sig: &FunSig, dedup: bool, ) -> Result<Self, Error>

Parses a collection of input/output examples according to a specified function signature and optional deduplication flag, returning a structured set of examples or an error.

It begins by extracting relevant metadata from the provided function signature, such as function name, argument types, and return type. The function processes the provided examples by iterating over them, ensuring each example contains a correct number of arguments and matching types. If the ‘dedup’ parameter is set to true, duplicates are removed using a HashSet. Finally, the function constructs the inputs and output, organizing each example’s inputs by type before returning the assembled IOExamples structure.

pub fn extract_constants(&self) -> Vec<&'static str>

Extracts and returns a list of constant substrings identified in the input and output examples of string synthesis problems.

The method iterates over all input strings and the output string, treating them as a unified sequence. For each string, it generates all possible substrings using all_slices and counts their occurrences. It then evaluates each distinct substring, checking for specific filtering conditions: the substring must appear with sufficient frequency, must either be a significant length or show certain frequency patterns, and should not be simple numeric or alphanumeric characters. Substrings meeting these criteria that are not already surpassed in count by longer substrings are added to the list of constants. This approach helps in identifying significant repeating string patterns, which can play a crucial role in constructing string transformation rules.

Trait Implementations

impl Clone for IOExamples

fn clone(&self) -> IOExamples

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IOExamples

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

Formats the value using the given formatter.