Skip to main content

MembershipOracle

meta_language::grammar::inference::eval

Trait MembershipOracle 

Source 
pub trait MembershipOracle {
    // Required method
    fn accepts(&self, text: &str) -> bool;
}
Expand description

Decides language membership for a target language.

Required Methods§

Source

fn accepts(&self, text: &str) -> bool

Returns true when text belongs to the oracle’s language.

Implementors§