[−][src]Function varisat::proof::clause_count_delta
pub fn clause_count_delta(step: &ProofStep) -> isize
Number of added or removed clauses.
pub fn clause_count_delta(step: &ProofStep) -> isize
Number of added or removed clauses.