Home
last modified time | relevance | path

Searched refs:d_theoryOut (Results 1 – 5 of 5) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.h347 EngineOutputChannel* d_theoryOut[theory::THEORY_LAST]; variable
494 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()
H A Dtheory_engine.cpp332 d_theoryOut[theoryId] = NULL; in TheoryEngine()
352 delete d_theoryOut[theoryId]; in ~TheoryEngine()
/dports/math/cvc4/CVC4-1.7/test/unit/theory/
H A Dtheory_white.h175 delete d_smt->d_theoryEngine->d_theoryOut[THEORY_BUILTIN]; in setUp()
177 d_smt->d_theoryEngine->d_theoryOut[THEORY_BUILTIN] = NULL; in setUp()
H A Dtheory_engine_white.h260 delete d_theoryEngine->d_theoryOut[id]; in setUp()
262 d_theoryEngine->d_theoryOut[id] = NULL; in setUp()
H A Dtheory_arith_white.h119 delete d_smt->d_theoryEngine->d_theoryOut[THEORY_ARITH]; in setUp()
121 d_smt->d_theoryEngine->d_theoryOut[THEORY_ARITH] = NULL; in setUp()