Searched refs:d_satContext (Results 1 – 7 of 7) sorted by relevance
37 d_satContext(sc), in DecisionEngine()59 new decision::JustificationHeuristic(this, d_userContext, d_satContext); in init()
53 context::Context* d_satContext; variable
393 context::Context* d_satContext; variable398 if (d_contextToPop->getLevel() > d_satContext->getLevel()) in contextNotifyPop()405 :context::ContextNotifyObj(context), d_satContext(context), in ContextPopper()
100 context::Context* d_satContext; variable366 return d_satContext; in getSatContext()454 << d_satContext->getLevel() << "](" << assertion << ", " in assertFact()
64 d_satContext(satContext), in Theory()
1073 const context::Context * const d_satContext; variable
801 , d_satContext(satContext) in ConstraintDatabase()