Skip to main content

evaluate_faeel_candidate

xlog_logic::epistemic

Function evaluate_faeel_candidate 

Source 
pub fn evaluate_faeel_candidate(
    program: &Program,
    interpretation: &EpistemicInterpretation,
) -> Result<FaeelCandidateResult>
Expand description

Evaluate all epistemic literals in a program under bounded FAEEL fixture semantics.