Searched refs:negIndexInClause (Results 1 – 1 of 1) sorted by relevance
477 size_t negIndexInClause = isTrivialTaut.value().second; in printCnfProofForClause() local479 << negIndexInClause << " (-) make this clause a tautology" in printCnfProofForClause()483 ProofManager::getLitName((*clause)[negIndexInClause], d_name); in printCnfProofForClause()