Struct ObservationTable 

pub struct ObservationTable {
    pub input_letters: Vec<Letter>,
    pub D: Vec<Word>,
    pub S: Vec<Word>,
    pub SA: Vec<Word>,
    pub ot_content: HashMap<Word, HashMap<Word, Option<Letter>>>,
    pub initialized: bool,
    /* private fields */
}

The Observation Table is the core data structure of the L* algorithm It maintains:

• D: the set of distinguishing strings (suffixes)
• S: the set of short prefixes
• SA: the set of long prefixes
• ot_content: the table content mapping (prefix, suffix) -> output

Fields

input_letters: Vec<Letter>

D: Vec<Word>

S: Vec<Word>

SA: Vec<Word>

ot_content: HashMap<Word, HashMap<Word, Option<Letter>>>

initialized: bool

Implementations

impl ObservationTable

pub fn new( input_letters: Vec<Letter>, knowledge_base: Arc<Mutex<dyn KnowledgeBaseTrait>>, ) -> Self

Create a new observation table

pub fn initialize(&mut self) -> Result<(), String>

Initialize the observation table with empty string in S and all input letters in D

pub fn serialize(&self) -> String

Serialize the observation table to a string

pub fn find_inconsistency(&self) -> Option<(((Word, Word), Word), Word)>

Find an inconsistency in the observation table Returns: Some(((prefix1, prefix2), (suffix, distinguishing_word))) when a pair of equivalent prefixes in S behave differently after appending suffix for some distinguishing column in D.

pub fn add_counterexample( &mut self, input_word: &Word, _output_word: &Word, ) -> Result<(), String>

Add a counterexample to the observation table

pub fn make_consistent( &mut self, inconsistency: (((Word, Word), Word), Word), ) -> Result<(), String>

Make the observation table consistent

pub fn is_closed(&self) -> bool

Check if the observation table is closed

pub fn close_table(&mut self) -> Result<(), String>

Close the observation table by moving rows from SA to S

pub fn is_consistent(&self) -> bool

Check if the observation table is consistent

pub fn build_hypothesis(&self) -> Result<Automata, String>

Build a hypothesis automaton from the current observation table

Trait Implementations

impl Display for ObservationTable

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

Formats the value using the given formatter.