Skip to main content

is_leaf

logicaffeine_proof::cofactor

Function is_leaf 

Source 
pub fn is_leaf(clauses: &CanonClauses) -> bool
Expand description

A leaf: the clause set contains the empty clause ⊥.