Skip to main content

rules_conflict

qualia_core_db::modalities::defeasible

Function rules_conflict 

Source 
pub fn rules_conflict(a: &DefeasibleRule, b: &DefeasibleRule) -> bool
Expand description

Two rules conflict iff they conclude the same literal with opposite polarity.