Searched defs:assertFormula (Results 1 – 8 of 8) sorted by relevance
72 void EagerBitblastSolver::assertFormula(TNode formula) { in assertFormula() function in CVC4::theory::bv::EagerBitblastSolver
125 void PropEngine::assertFormula(TNode node) { in assertFormula() function in CVC4::prop::PropEngine
386 void SymmetryBreaker::assertFormula(TNode phi) { in assertFormula() function in CVC4::theory::uf::SymmetryBreaker
385 void TheoryCore::assertFormula(const Theorem& thm) in assertFormula() function in TheoryCore
1848 void VCL::assertFormula(const Expr& e) in assertFormula() function in VCL
3823 Result SmtEngine::assertFormula(const Expr& ex, bool inUnsatCore) in assertFormula() function in CVC4::SmtEngine
2900 void Solver::assertFormula(Term term) const in assertFormula() function in CVC4::api::Solver
1495 public void assertFormula(Expr expr) throws Cvc3Exception { in assertFormula() method in ValidityChecker