Searched defs:ensureLiteral (Results 1 – 6 of 6) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/ | ||
H A D | valuation.cpp | 114 Node Valuation::ensureLiteral(TNode n) { in ensureLiteral() function in CVC4::theory::Valuation |
H A D | theory_engine.cpp | 1495 Node TheoryEngine::ensureLiteral(TNode n) { in ensureLiteral() function in CVC4::TheoryEngine |
/dports/math/cvc4/CVC4-1.7/src/prop/ | ||
H A D | prop_engine.cpp | 263 void PropEngine::ensureLiteral(TNode n) { in ensureLiteral() function in CVC4::prop::PropEngine |
H A D | cnf_stream.cpp | 126 void TseitinCnfStream::ensureLiteral(TNode n, bool noPreregistration) { in ensureLiteral() function in CVC4::prop::TseitinCnfStream |
/dports/math/cvc4/CVC4-1.7/src/proof/ | ||
H A D | cnf_proof.cpp | 269 void CnfProof::ensureLiteral(TNode atom, bool noPreregistration) { in ensureLiteral() function in CVC4::CnfProof |
H A D | proof_manager.cpp | 1063 void ProofManager::ensureLiteral(Node node) { in ensureLiteral() function in CVC4::ProofManager |