Skip to main content

evaluate_clause

meta_language::grammar::inference::semantic

Function evaluate_clause 

Source 
pub fn evaluate_clause(
    grammar: &Grammar,
    input: &str,
    clause: &ConstraintClause,
) -> TruthValue
Expand description

Evaluates one clause over one input.