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/theory_engine.h | |
| parent | 0fb4d4e9ac57e084ef456548358439cc07d2c7d3 (diff) | |
Clean remaining references to getNextDecisionRequest and simplify (#2500)
Diffstat (limited to 'src/theory/theory_engine.h')
| -rw-r--r-- | src/theory/theory_engine.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h index b5ac208d7..09f986686 100644 --- a/src/theory/theory_engine.h +++ b/src/theory/theory_engine.h @@ -702,6 +702,12 @@ public: } } + /** + * Returns the next decision request, or null if none exist. The next + * decision request is a literal that this theory engine prefers the SAT + * solver to make as its next decision. Decision requests are managed by + * the decision manager d_decManager. + */ Node getNextDecisionRequest(); bool properConflict(TNode conflict) const; |