Skip to main content

learn_dfa

meta_language::grammar::inference::active

Function learn_dfa 

Source 
pub fn learn_dfa(
    oracle: &dyn Oracle,
    config: &ActiveLearningConfig,
) -> Result<Dfa, ActiveLearningError>
Expand description

Learns a DFA via L* against oracle.