Searched refs:base_pol (Results 1 – 1 of 1) sorted by relevance
517 bool base_pol = base_assertion.getKind() != kind::NOT; in printCnfProofForClause() local536 Trace("cnf-pf") << "; polarity of base assertion = " << base_pol in printCnfProofForClause()549 if (base_pol) in printCnfProofForClause()558 } else if ((base_assertion.getKind()==kind::AND && !base_pol) || in printCnfProofForClause()593 } else if (childPol[child_base] && base_pol) { in printCnfProofForClause()624 if( childPol[child_base] && base_pol){ in printCnfProofForClause()634 }else if ((base_assertion.getKind()==kind::AND && base_pol) || in printCnfProofForClause()707 if( !base_pol ){ in printCnfProofForClause()758 if( !base_pol ){ in printCnfProofForClause()820 if( !childPol[appears_expr[index2]] || !base_pol ){ in printCnfProofForClause()[all …]