Struct ExplicitBuilder 

pub struct ExplicitBuilder { /* private fields */ }

Builder for Explicit automata.

Allocate states with ExplicitBuilder::new_state, add rules with ExplicitBuilder::add_rule, mark accepting states with ExplicitBuilder::add_accepting, then call ExplicitBuilder::build.

The builder checks that every state in every rule was allocated by this builder. This catches many accidental mixups between automata early.

Implementations

impl ExplicitBuilder

pub fn new() -> Self

Create an empty builder with no states and no rules.

pub fn new_state(&mut self) -> StateId

Allocate and return a fresh state.

States are assigned densely starting at StateId(0).

pub fn add_accepting(&mut self, q: StateId)

Mark a state as accepting.

A tree is accepted when its root can be assigned one of the accepting states. Passing a state not allocated by this builder panics.

pub fn add_rule(&mut self, f: Symbol, children: Vec<StateId>, q: StateId)

Add a bottom-up transition rule.

children is the exact child-state tuple for the rule. An empty vector creates a nullary rule, suitable for leaf symbols. Passing STUCK or a state not allocated by this builder panics.

pub fn add_weighted_rule( &mut self, f: Symbol, children: Vec<StateId>, q: StateId, weight: f64, )

Add a weighted bottom-up transition rule.

children is the exact child-state tuple for the rule. An empty vector creates a nullary rule, suitable for leaf symbols. Passing STUCK or a state not allocated by this builder panics.

pub fn build(self) -> Explicit

Build the explicit automaton.

Panics if duplicate transitions were added. Use Self::try_build to receive a typed error instead.

pub fn try_build(self) -> Result<Explicit, ExplicitBuildError>

Build the explicit automaton, rejecting duplicate transitions.

Multiple rules with the same symbol and children but different result states are preserved, making the automaton nondeterministic for that query. The exact same (symbol, children, result) transition may not be added twice, regardless of weight.

Trait Implementations

impl Clone for ExplicitBuilder

fn clone(&self) -> ExplicitBuilder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExplicitBuilder

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

Formats the value using the given formatter.

impl Default for ExplicitBuilder

fn default() -> ExplicitBuilder

Returns the “default value” for a type.