Home
last modified time | relevance | path

Searched defs:properExplanation (Results 1 – 5 of 5) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/prop/minisat/
H A Dminisat.cpp201 bool MinisatSatSolver::properExplanation(SatLiteral lit, SatLiteral expl) const { in properExplanation() function in CVC4::prop::MinisatSatSolver
/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dprop_engine.cpp308 bool PropEngine::properExplanation(TNode node, TNode expl) const { in properExplanation() function in CVC4::prop::PropEngine
/dports/math/cvc4/CVC4-1.7/test/unit/prop/
H A Dcnf_stream_white.h102 bool properExplanation(SatLiteral lit, SatLiteral expl) const { return true; } in properExplanation() function
/dports/math/cvc4/CVC4-1.7/src/prop/minisat/core/
H A DSolver.h536 inline bool Solver::properExplanation(Lit l, Lit expl) const { return value(l) == l_True && val… in properExplanation() function
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.cpp828 bool TheoryEngine::properExplanation(TNode node, TNode expl) const { in properExplanation() function in CVC4::TheoryEngine