Skip to main content

Oracle

meta_language::grammar::inference::cfg

Trait Oracle 

Source 
pub trait Oracle {
    // Provided methods
    fn accepts_all_positive(
        &self,
        grammar: &Grammar,
        examples: &[String],
    ) -> bool { ... }
    fn membership(&self) -> Option<&dyn MembershipOracle> { ... }
}
Expand description

Decides whether an inferred generalisation is acceptable.

Provided Methods§

Source

fn accepts_all_positive(&self, grammar: &Grammar, examples: &[String]) -> bool

Returns true when grammar accepts every positive example.

Source

fn membership(&self) -> Option<&dyn MembershipOracle>

Optional black-box membership oracle for rejecting over-generalisation.

Implementors§