Struct State

pub struct State { /* private fields */ }

State of an automaton

Implementations

impl State

pub fn id(&self) -> usize

State id

pub fn is_final(&self) -> bool

Check whether a state is final

pub fn num_successors(&self) -> usize

Number of transitions, not including the default

pub fn has_default_successor(&self) -> bool

Check whether a state has a default successor

pub fn default_successor(&self) -> Option<usize>

Get the default successor

pub fn valid_class_id(&self, cid: ClassId) -> bool

Check whether a class id is valid for this state

• a class id Interval(i) is valid if i < number of transitions
• class id Complement is valid if there’s a default successor defined

pub fn char_maps_to_default(&self, c: u32) -> bool

Check whether character c maps to the default successor

pub fn char_classes(&self) -> ClassIdIterator<'_>

Iterate through all valid class ids for this state

pub fn class_of_char(&self, x: u32) -> ClassId

Return the class id for a character

pub fn char_picks(&self) -> PickIterator<'_>

Pick a character in each class of this state’s character partition

pub fn char_ranges(&self) -> impl Iterator<Item = &CharSet>

Iterate through the character ranges defined for this state.

Same as char_classes, except that the complementary class is not included.

Trait Implementations

impl Debug for State

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

Formats the value using the given formatter.

impl Display for State

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

Formats the value using the given formatter.