Struct DfaLearning 

pub struct DfaLearning<A>
where
    A: BlackBoxAutomaton<Output = bool>,
{ /* private fields */ }

Implementations

impl<A> DfaLearning<A>

where A: BlackBoxAutomaton<Output = bool>,

pub fn new(automaton: A) -> Self

pub fn construct_dfa(&mut self) -> DeterministicFiniteAutomaton

Examples found in repository

crates/competitive/src/algorithm/automata_learning.rs (line 421)

    pub fn train(
        &mut self,
        samples: impl IntoIterator<Item = Vec<usize>>,
    ) -> DeterministicFiniteAutomaton {
        let mut dfa = self.construct_dfa();
        for sample in samples {
            if self.train_sample(&dfa, &sample) {
                dfa = self.construct_dfa();
            }
        }
        dfa
    }

pub fn train_sample( &mut self, dfa: &DeterministicFiniteAutomaton, sample: &[usize], ) -> bool

Examples found in repository

crates/competitive/src/algorithm/automata_learning.rs (line 423)

    pub fn train(
        &mut self,
        samples: impl IntoIterator<Item = Vec<usize>>,
    ) -> DeterministicFiniteAutomaton {
        let mut dfa = self.construct_dfa();
        for sample in samples {
            if self.train_sample(&dfa, &sample) {
                dfa = self.construct_dfa();
            }
        }
        dfa
    }

pub fn train( &mut self, samples: impl IntoIterator<Item = Vec<usize>>, ) -> DeterministicFiniteAutomaton

Trait Implementations

impl<A> Clone for DfaLearning<A>

where A: BlackBoxAutomaton<Output = bool> + Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A> Debug for DfaLearning<A>

where A: BlackBoxAutomaton<Output = bool> + Debug,

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

Formats the value using the given formatter.