diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-10-04 12:21:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-04 12:21:16 -0500 |
| commit | 7b76222cacbdb906dca1543b53e0f113dc1e1826 (patch) | |
| tree | 517ee09dd249bc14b12b33b63fdca390e945384d /src/theory/decision_manager.h | |
| parent | 0fb4d4e9ac57e084ef456548358439cc07d2c7d3 (diff) | |
Clean remaining references to getNextDecisionRequest and simplify (#2500)
Diffstat (limited to 'src/theory/decision_manager.h')
| -rw-r--r-- | src/theory/decision_manager.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/theory/decision_manager.h b/src/theory/decision_manager.h index 7ac27a531..fbc0e2cd6 100644 --- a/src/theory/decision_manager.h +++ b/src/theory/decision_manager.h @@ -105,11 +105,8 @@ class DecisionManager * returns null, then no decisions are required by a decision strategy * registered to this class. In the latter case, the SAT solver will choose * a decision based on its given heuristic. - * - * The argument priority has the same role as in - * Theory::getNextDecisionRequest. */ - Node getNextDecisionRequest(unsigned& priorty); + Node getNextDecisionRequest(); private: /** Map containing all strategies registered to this manager */ |