Searched refs:additionalAtoms (Results 1 – 1 of 1) sorted by relevance
1044 …const std::set<Node>* additionalAtoms = ProofManager::getBitVectorProof()->getAtomsInBitblastingPr… in printGlobalLetMap() local1045 for (atom = additionalAtoms->begin(); atom != additionalAtoms->end(); ++atom) { in printGlobalLetMap()