Struct Determinized 

pub struct Determinized<A>(pub A);

Lazy subset construction for a nondeterministic automaton.

Determinized(a) has states that are sets of a’s states. A deterministic transition computes all possible underlying transitions and packages the result as one set.

This generic version uses std::collections::BTreeSet, so it favors clarity and broad compatibility over raw speed. It is most useful for small examples, tests, and as a baseline for denser bitset-based variants.

Tuple Fields

0: A

Trait Implementations

impl<A> BottomUpTa for Determinized<A>

where A: BottomUpTa, A::State: Ord,

type State = BTreeSet<<A as BottomUpTa>::State>

State type carried by the automaton.

fn step( &self, f: Symbol, children: &[Self::State], out: &mut dyn FnMut(Self::State), )

Report all possible parent states for f(children...).

fn is_accepting(&self, qs: &Self::State) -> bool

Return whether q is an accepting state.

impl<A: Clone> Clone for Determinized<A>

fn clone(&self) -> Determinized<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Copy> Copy for Determinized<A>

impl<A: Debug> Debug for Determinized<A>

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

Formats the value using the given formatter.

impl<A: Default> Default for Determinized<A>

fn default() -> Determinized<A>

Returns the “default value” for a type.

impl<A> DetBottomUpTa for Determinized<A>

where A: BottomUpTa, A::State: Ord,

fn step_det(&self, f: Symbol, children: &[Self::State]) -> Option<Self::State>

Return the unique result state, or None if no transition exists.

fn det_group(&self, f: Symbol) -> u32

Group key for symbols that share a transition function.

impl<A: Eq> Eq for Determinized<A>

impl<A: PartialEq> PartialEq for Determinized<A>

fn eq(&self, other: &Determinized<A>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A: PartialEq> StructuralPartialEq for Determinized<A>