Searched refs:d_theoryOut (Results 1 – 5 of 5) sorted by relevance
347 EngineOutputChannel* d_theoryOut[theory::THEORY_LAST]; variable494 Assert(d_theoryTable[theoryId] == NULL && d_theoryOut[theoryId] == NULL); in addTheory()495 d_theoryOut[theoryId] = new EngineOutputChannel(this, theoryId); in addTheory()497 new TheoryClass(d_context, d_userContext, *d_theoryOut[theoryId], in addTheory()
332 d_theoryOut[theoryId] = NULL; in TheoryEngine()352 delete d_theoryOut[theoryId]; in ~TheoryEngine()
175 delete d_smt->d_theoryEngine->d_theoryOut[THEORY_BUILTIN]; in setUp()177 d_smt->d_theoryEngine->d_theoryOut[THEORY_BUILTIN] = NULL; in setUp()
260 delete d_theoryEngine->d_theoryOut[id]; in setUp()262 d_theoryEngine->d_theoryOut[id] = NULL; in setUp()
119 delete d_smt->d_theoryEngine->d_theoryOut[THEORY_ARITH]; in setUp()121 d_smt->d_theoryEngine->d_theoryOut[THEORY_ARITH] = NULL; in setUp()