Searched refs:TheorySep (Results 1 – 4 of 4) sorted by relevance
61 TheorySep::~TheorySep() { in ~TheorySep()87 Node TheorySep::ppRewrite(TNode term) { in ppRewrite()103 bool TheorySep::propagate(TNode literal) in propagate()137 void TheorySep::propagate(Effort e){ in propagate()142 Node TheorySep::explain(TNode literal) in explain()176 void TheorySep::computeCareGraph() { in computeCareGraph()294 void TheorySep::presolve() { in presolve()305 void TheorySep::check(Effort e) { in check()842 TheorySep::HeapAssertInfo * TheorySep::getOrMakeEqcInfo( Node n, bool doMake ) { in getOrMakeEqcInfo()1552 bool TheorySep::hasTerm( Node a ){ in hasTerm()[all …]
37 class TheorySep : public Theory {66 …TheorySep(context::Context* c, context::UserContext* u, OutputChannel& out, Valuation valuation, c…67 ~TheorySep();132 TheorySep& d_sep;135 NotifyClass(TheorySep& sep) : d_sep(sep) {} in NotifyClass()
7 theory THEORY_SEP ::CVC4::theory::sep::TheorySep "theory/sep/theory_sep.h"
463 sep::TheorySep* theory_sep = in ppNotifyAssertions()464 static_cast<sep::TheorySep*>(getTheoryEngine()->theoryOf(THEORY_SEP)); in ppNotifyAssertions()