Struct VersionSpace 

pub struct VersionSpace {
    pub candidates: Vec<String>,
    pub examples: Vec<IOExample>,
}

A version space: the set of programs consistent with all examples seen.

Fields

candidates: Vec<String>

Candidate programs still consistent with all examples.

examples: Vec<IOExample>

Examples used to prune the version space.

Implementations

impl VersionSpace

pub fn new(candidates: Vec<String>) -> Self

Create a version space from an initial candidate set.

pub fn refine(&mut self, example: IOExample)

Refine the version space with a new example.

pub fn unique_solution(&self) -> Option<&str>

Return the unique candidate if the version space is a singleton.

pub fn size(&self) -> usize

Number of consistent candidates.

Trait Implementations

impl Clone for VersionSpace

fn clone(&self) -> VersionSpace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VersionSpace

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

Formats the value using the given formatter.