pub fn evaluate_epistemic_candidate(
program: &Program,
interpretation: &EpistemicInterpretation,
mode: EpistemicMode,
) -> Result<FaeelCandidateResult>Expand description
Evaluate all epistemic literals in a program under a bounded fixture semantics mode.