Home
last modified time | relevance | path

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

/dports/net/kimap/kimap-21.12.3/src/
H A Dimapstreamparser.cpp79 bool ImapStreamParser::hasLiteral() in hasLiteral() function in ImapStreamParser
/dports/math/cvc4/CVC4-1.7/src/theory/arith/
H A Dconstraint.h461 bool hasLiteral() const { in hasLiteral() function
H A Dconstraint.cpp1006 bool ConstraintDatabase::hasLiteral(TNode literal) const { in hasLiteral() function in CVC4::theory::arith::ConstraintDatabase
1517 ConstraintP Constraint::getStrictlyWeakerLowerBound(bool hasLiteral, bool asserted) const { in getStrictlyWeakerLowerBound()
1542 ConstraintP Constraint::getStrictlyWeakerUpperBound(bool hasLiteral, bool asserted) const { in getStrictlyWeakerUpperBound()
/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dcnf_stream.cpp121 bool CnfStream::hasLiteral(TNode n) const { in hasLiteral() function in CVC4::prop::CnfStream
/dports/math/cvc4/CVC4-1.7/src/proof/
H A Dcnf_proof.cpp265 bool CnfProof::hasLiteral(TNode atom) { in hasLiteral() function in CVC4::CnfProof