Searched defs:getLitName (Results 1 – 1 of 1) sorted by relevance
209 std::string ProofManager::getLitName(prop::SatLiteral lit, in getLitName() function in CVC4::ProofManager238 std::string ProofManager::getLitName(TNode lit, in getLitName() function in CVC4::ProofManager