Home
last modified time | relevance | path

Searched refs:decisionEngine (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/prop/
H A Dtheory_proxy.cpp40 DecisionEngine* decisionEngine, in TheoryProxy() argument
48 d_decisionEngine(decisionEngine), in TheoryProxy()
H A Dtheory_proxy.h56 DecisionEngine* decisionEngine,
/dports/math/cvc4/CVC4-1.7/src/theory/
H A Dtheory_engine.h506 inline void setDecisionEngine(DecisionEngine* decisionEngine) { in setDecisionEngine() argument
508 d_decisionEngine = decisionEngine; in setDecisionEngine()