Skip to main content

evaluate_atom

meta_language::grammar::inference::semantic

Function evaluate_atom 

Source 
pub fn evaluate_atom(
    grammar: &Grammar,
    input: &str,
    atom: &ConstraintAtom,
) -> TruthValue
Expand description

Evaluates one atom over one input.