Searched refs:nodeSetToString (Results 1 – 1 of 1) sorted by relevance
46 std::string nodeSetToString(const std::set<Node>& nodes) { in nodeSetToString() function393 Debug("pf::lemmasUnsatCore") << nodeSetToString(lemma); in getLemmasInUnsatCore()