Searched defs:properExplanation (Results 1 – 5 of 5) sorted by relevance
201 bool MinisatSatSolver::properExplanation(SatLiteral lit, SatLiteral expl) const { in properExplanation() function in CVC4::prop::MinisatSatSolver
308 bool PropEngine::properExplanation(TNode node, TNode expl) const { in properExplanation() function in CVC4::prop::PropEngine
102 bool properExplanation(SatLiteral lit, SatLiteral expl) const { return true; } in properExplanation() function
536 inline bool Solver::properExplanation(Lit l, Lit expl) const { return value(l) == l_True && val… in properExplanation() function
828 bool TheoryEngine::properExplanation(TNode node, TNode expl) const { in properExplanation() function in CVC4::TheoryEngine