Skip to main content

apply_twist

logicaffeine_proof::cofactor

Function apply_twist 

Source 
pub fn apply_twist(
    clauses: &CanonClauses,
    twist: &Twist,
) -> Option<CanonClauses>
Expand description

Apply a Twist to a clause set; None if a live variable is unmapped.