| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | valuation.cpp | 77 return d_engine->getPropEngine()->isSatLiteral(n); in isSatLiteral()
90 return d_engine->getPropEngine()->getValue(n); in getSatValue()
95 if (d_engine->getPropEngine()->isSatLiteral(n)) { in hasSatValue()
96 return d_engine->getPropEngine()->hasValue(n, value); in hasSatValue()
103 return d_engine->getEqualityStatus(a, b); in getEqualityStatus()
107 return d_engine->getModelValue(var); in getModelValue()
111 return d_engine->getModel(); in getModel()
115 return d_engine->ensureLiteral(n); in ensureLiteral()
119 return d_engine->getPropEngine()->isDecision(lit); in isDecision()
123 return d_engine->getPropEngine()->getAssertionLevel(); in getAssertionLevel()
[all …]
|
| H A D | valuation.h | 66 TheoryEngine* d_engine; variable
69 d_engine(engine) { in Valuation()
|
| H A D | theory_engine.h | 272 TheoryEngine* d_engine; variable
284 : d_engine(engine), d_statistics(theory), d_theory(theory) {} in EngineOutputChannel()
288 if (d_engine->d_interrupted) { in safePoint()
320 d_engine->d_propEngine->requirePhase(n, phase); in requirePhase()
325 d_engine->setIncomplete(d_theory); in setIncomplete()
329 d_engine->spendResource(amount); in spendResource()
333 d_engine->handleUserAttribute(attr, t); in handleUserAttribute()
|
| H A D | term_registration_visitor.h | 43 TheoryEngine* d_engine; variable
68 : d_engine(engine) in PreRegisterVisitor()
|
| H A D | term_registration_visitor.cpp | 145 Theory* th = d_engine->theoryOf(currentTheoryId); in visit()
152 Theory* th = d_engine->theoryOf(parentTheoryId); in visit()
160 Theory* th = d_engine->theoryOf(typeTheoryId); in visit()
|
| H A D | theory_engine.cpp | 89 d_engine->d_outputChannelUsed = true; in lemma()
94 d_engine->lemma(lemma, rule, false, removable, preprocess, in lemma()
106 lemma = d_engine->preprocess(lemma); in registerLemmaRecipe()
189 d_engine->d_outputChannelUsed = true; in splitLemma()
194 d_engine->lemma(lemma, RULE_SPLIT, false, removable, false, d_theory); in splitLemma()
202 d_engine->d_outputChannelUsed = true; in propagate()
203 return d_engine->propagate(literal, d_theory); in propagate()
214 d_engine->d_outputChannelUsed = true; in conflict()
215 d_engine->conflict(conflictNode, d_theory); in conflict()
|
| /dports/math/qtiplot-doc/qtiplot-0.9.8.9/qtiplot/src/plot2D/ |
| H A D | ScaleEngine.cpp | 44 if (!d_engine->hasBreak()){ in invXForm()
52 const double lb = d_engine->axisBreakLeft(); in invXForm()
72 if (d_engine->log10ScaleAfterBreak()) in invXForm()
95 if (d_engine->log10ScaleAfterBreak()) in invXForm()
106 …if ((d_engine->type() == ScaleTransformation::Log10 || d_engine->type() == ScaleTransformation::Ln… in xForm()
120 if (!d_engine->hasBreak()){ in xForm()
128 const double lb = d_engine->axisBreakLeft(); in xForm()
158 if (d_engine->log10ScaleAfterBreak()) in xForm()
176 if (d_engine->log10ScaleAfterBreak()) in xForm()
187 return new ScaleTransformation(d_engine); in copy()
[all …]
|
| H A D | ScaleEngine.h | 43 ScaleTransformation(const ScaleEngine *engine):QwtScaleTransformation(Other), d_engine(engine){}; in ScaleTransformation()
51 const ScaleEngine* d_engine; variable
|
| H A D | LogitScaleEngine.cpp | 146 return new LogitScaleTransformation(d_engine); in copy()
|
| H A D | ProbabilityScaleEngine.cpp | 150 return new ProbabilityScaleTransformation(d_engine); in copy()
|
| H A D | ReciprocalScaleEngine.cpp | 244 return new ReciprocalScaleTransformation(d_engine); in copy()
|
| /dports/x11-toolkits/qwt6/qwt-6.1.6/src/ |
| H A D | qwt_null_paintdevice.cpp | 360 d_engine( NULL ) in QwtNullPaintDevice()
368 delete d_engine; in ~QwtNullPaintDevice()
395 if ( d_engine == NULL ) in paintEngine()
400 that->d_engine = new PaintEngine(); in paintEngine()
403 return d_engine; in paintEngine()
|
| H A D | qwt_null_paintdevice.h | 121 PaintEngine *d_engine; variable
|
| /dports/devel/xelfviewer/XELFViewer-0.03/XQwt/3rdparty/qwt/src/ |
| H A D | qwt_null_paintdevice.cpp | 360 d_engine( NULL ) in QwtNullPaintDevice()
368 delete d_engine; in ~QwtNullPaintDevice()
395 if ( d_engine == NULL ) in paintEngine()
400 that->d_engine = new PaintEngine(); in paintEngine()
403 return d_engine; in paintEngine()
|
| H A D | qwt_null_paintdevice.h | 120 PaintEngine *d_engine; variable
|
| /dports/games/assaultcube/AssaultCube_v1.2.0.2/source/src/ |
| H A D | serverchecks.h | 623 if (!d_engine(target, actor, damage, gun, gib)) return false; in validdamage()
|