Searched defs:hasLiteral (Results 1 – 5 of 5) sorted by relevance
79 bool ImapStreamParser::hasLiteral() in hasLiteral() function in ImapStreamParser
461 bool hasLiteral() const { in hasLiteral() function
1006 bool ConstraintDatabase::hasLiteral(TNode literal) const { in hasLiteral() function in CVC4::theory::arith::ConstraintDatabase1517 ConstraintP Constraint::getStrictlyWeakerLowerBound(bool hasLiteral, bool asserted) const { in getStrictlyWeakerLowerBound()1542 ConstraintP Constraint::getStrictlyWeakerUpperBound(bool hasLiteral, bool asserted) const { in getStrictlyWeakerUpperBound()
121 bool CnfStream::hasLiteral(TNode n) const { in hasLiteral() function in CVC4::prop::CnfStream
265 bool CnfProof::hasLiteral(TNode atom) { in hasLiteral() function in CVC4::CnfProof