pub fn evaluate_defeasible_frame(
quins: &[NQuin],
context_hash: u64,
out: &mut [DefeasibleVerdict],
) -> Result<usize, DefeasibleError>Expand description
Evaluates a slice of Quins for non-monotonic (defeasible) reasoning.
pub fn evaluate_defeasible_frame(
quins: &[NQuin],
context_hash: u64,
out: &mut [DefeasibleVerdict],
) -> Result<usize, DefeasibleError>Evaluates a slice of Quins for non-monotonic (defeasible) reasoning.