Searched refs:getPropEngine (Results 1 – 8 of 8) sorted by relevance
77 return d_engine->getPropEngine()->isSatLiteral(n); in isSatLiteral()82 Node atomRes = d_engine->getPropEngine()->getValue(n[0]); in getSatValue()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()119 return d_engine->getPropEngine()->isDecision(lit); in isDecision()123 return d_engine->getPropEngine()->getAssertionLevel(); in getAssertionLevel()
784 if (! getPropEngine()->hasValue(conflict[i], value)) { in properConflict()801 if (! getPropEngine()->hasValue(conflict, value)) { in properConflict()821 if(!getPropEngine()->isSatLiteral(lit)) { in properPropagation()825 return !getPropEngine()->hasValue(lit, b); in properPropagation()
517 inline prop::PropEngine* getPropEngine() const { in getPropEngine() function
26 virtual PropEngine* getPropEngine() { return this; } in getPropEngine() function in yasim::PropEngine
23 virtual PropEngine* getPropEngine() { return 0; } in getPropEngine() function in yasim::Thruster
48 PropEngine* pe = airplane->getThruster(0)->getPropEngine(); in main()
146 if(t->getPropEngine()) in init()151 PropEngine* p = t->getPropEngine(); in init()364 if(t->getPropEngine()) { in getExternalInput()365 PropEngine* p = t->getPropEngine(); in getExternalInput()474 if(t->getPropEngine()) { in setOutputProperties()475 PropEngine* p = t->getPropEngine(); in setOutputProperties()
49 prop::PropEngine* getPropEngine() { return d_smt->d_propEngine; } in getPropEngine() function