Struct ExprSpace 

pub struct ExprSpace { /* private fields */ }

A deterministic, sized enumerator of Expr graphs drawn from a Shape-described space.

The grammar shape is the membership oracle: an expression is in the space exactly when grammar.check_expr accepts it.

Implementations

impl ExprSpace

pub fn r7rs_core_space(max_depth: usize) -> Self

Builds the R7RS-small core expression space.

The first space covers booleans, symbols, strings, integer literals, and list compounds over those atoms, bounded by max_depth.

pub fn core_round_trip_space(max_depth: usize) -> Self

Builds the shared core expression space for codec-neutral round trips.

This space uses the same grammar and atoms as ExprSpace::r7rs_core_space, but keeps the seed corpus to forms that general expression readers decode back to the same Expr without syntax lowering.

pub fn grammar(&self) -> Arc<dyn Shape>

Returns the Shape grammar used as this space’s membership oracle.

pub fn seed_corpus(&self) -> Vec<Expr>

Returns the curated seed corpus this space contains.

pub fn describe_grammar(&self, cx: &mut Cx) -> Result<ShapeDoc>

Returns a browsable description of this space’s membership grammar.

pub fn max_depth(&self) -> usize

Returns the maximum expression depth used by enumeration.

pub fn contains(&self, cx: &mut Cx, expr: &Expr) -> bool

Returns true when expr is a member of this space.

pub fn enumerate(&self, budget: usize) -> Vec<Expr>

Deterministically enumerates distinct in-space expressions in size order.

Enumeration is stable for the same (space, budget) input.