automata_core 0.2.1

Deterministic and nondeterministic automata algorithms in Rust
Documentation 
1
2
3
4
5
6
7
8
9

use crate::{
    arbitrary::automaton::Automaton, labeled::arbitrary::NonDeterministicLabeledAutomaton,
};

/// Marker for nondeterministic automata in the unlabeled API (`Label = ()`).
///
/// Successors are given by [`NonDeterministicLabeledAutomaton::successors`];
/// multiple initial states are allowed via [`NonDeterministicLabeledAutomaton::initial_states`].
pub trait NonDeterministicAutomaton: Automaton + NonDeterministicLabeledAutomaton<()> {}