Skip to main content

evaluate_epistemic_literal

xlog_logic::epistemic

Function evaluate_epistemic_literal 

Source 
pub fn evaluate_epistemic_literal(
    mode: EpistemicMode,
    lit: &EpistemicLiteral,
    interpretation: &EpistemicInterpretation,
) -> TruthValue
Expand description

Evaluate a single parsed epistemic literal against a bounded interpretation.