Skip to main content

evaluate_constraint

meta_language::grammar::inference::semantic

Function evaluate_constraint 

Source 
pub fn evaluate_constraint(
    grammar: &Grammar,
    input: &str,
    constraint: &SemanticConstraint,
) -> TruthValue
Expand description

Evaluates a semantic DNF over one input.