Searched refs:getAssertionName (Results 1 – 2 of 2) sorted by relevance
231 static std::string getAssertionName(Node node, const std::string& prefix = "");
223 std::string ProofManager::getAssertionName(Node node, in getAssertionName() function in CVC4::ProofManager