Struct StateAttributes

pub struct StateAttributes(/* private fields */);

A set of attributes that can be associated with a State.

Implementations

impl StateAttributes

pub const ACCEPTING: Self

Marks that the State is accepting.

pub const EMPTY: Self

Set with no attributes.

pub const REJECTING: Self

Marks that the State is rejecting, i.e. there is no possible path to any accepting state from it.

pub const TRANSITIONS_TO_ACCEPTING: Self

Marks that the State contains some transition (labelled or fallback) to an Accepting state.

pub const UNITARY: Self

Marks that the State is unitary. A state is unitary if it contains exactly one labelled transition and its fallback transition is Rejecting.

pub const HAS_ARRAY_TRANSITION: Self

Marks that the State contains some transition labelled with an array index or slice.

pub const HAS_ARRAY_TRANSITION_TO_ACCEPTING: Self

Marks that the State contains an array index- or slice-labelled transition to an to an Accepting state.

pub fn is_accepting(&self) -> bool

Check if the the state is accepting.

pub fn is_rejecting(&self) -> bool

Check if the state is rejecting, i.e. there is no possible path to any accepting state from it.

pub fn has_transition_to_accepting(&self) -> bool

Marks that the State contains some transition (labelled or fallback) to an Accepting state.

pub fn is_unitary(&self) -> bool

Marks that the State is unitary. A state is unitary if it contains exactly one labelled transition and its fallback transition is Rejecting.

pub fn has_array_transition(&self) -> bool

Marks that the State contains some transition labelled with an array index or slice.

pub fn has_array_transition_to_accepting(&self) -> bool

Marks that the State contains an array index- or slice- labelled transition to an to an Accepting state.

Trait Implementations

impl BitOr for StateAttributes

type Output = StateAttributes

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl Clone for StateAttributes

fn clone(&self) -> StateAttributes

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateAttributes

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

Formats the value using the given formatter.

impl Default for StateAttributes

fn default() -> StateAttributes

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for StateAttributes

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for StateAttributes

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for StateAttributes

fn eq(&self, other: &StateAttributes) -> 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 Serialize for StateAttributes

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for StateAttributes

impl Eq for StateAttributes

impl StructuralPartialEq for StateAttributes