Enum VersionSpace 

pub enum VersionSpace {
    Atom(CstNode),
    Join {
        kind: String,
        children: Vec<VersionSpace>,
    },
    Union(Vec<VersionSpace>),
    ListJoin {
        kind: String,
        ordering: ListOrdering,
        left_items: Vec<VersionSpace>,
        right_items: Vec<VersionSpace>,
        base_items: Vec<VersionSpace>,
    },
}

A version space representing a set of possible AST subtrees.

Variants

Atom(CstNode)

A single concrete tree (leaf of the version space).

Join

Cross product: pick one child from each sub-space.

Fields

kind: String

children: Vec<VersionSpace>

Union(Vec<VersionSpace>)

Union: pick from either sub-space.

ListJoin

List join: ordered combination of sub-spaces, allowing interleaving.

Fields

kind: String

ordering: ListOrdering

left_items: Vec<VersionSpace>

right_items: Vec<VersionSpace>

base_items: Vec<VersionSpace>

Implementations

impl VersionSpace

pub fn count(&self, max: usize) -> Option<usize>

Count the total number of candidate programs in this version space. Returns None if the count is too large (> threshold).

pub fn enumerate(&self, max: usize) -> Vec<CstNode>

Enumerate all concrete trees in this version space, up to a limit.

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.