diff options
Diffstat (limited to 'src/prop/theory_proxy.h')
-rw-r--r-- | src/prop/theory_proxy.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/prop/theory_proxy.h b/src/prop/theory_proxy.h index 5f1ea0e23..7b0aa2058 100644 --- a/src/prop/theory_proxy.h +++ b/src/prop/theory_proxy.h @@ -93,7 +93,9 @@ public: void enqueueTheoryLiteral(const SatLiteral& l); - SatLiteral getNextDecisionRequest(bool& stopSearch); + SatLiteral getNextTheoryDecisionRequest(); + + SatLiteral getNextDecisionEngineRequest(bool& stopSearch); bool theoryNeedCheck() const; |