Searched refs:hasLitName (Results 1 – 3 of 3) sorted by relevance
36 if (!ProofManager::hasLitName(n)) in simplifyBooleanNode()
239 static bool hasLitName(TNode lit);
248 bool ProofManager::hasLitName(TNode lit) { in hasLitName() function in CVC4::ProofManager