diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-19 09:44:04 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-19 09:44:04 -0500 |
| commit | 7988675ce9666b6f2214b583d42b9fa8be52ae60 (patch) | |
| tree | 12cda1e352a6d80819f00d131f969d7728bf28ec /src/theory/arrays/theory_arrays.h | |
| parent | cfe4f59c0a10d49a35b9f59bb2fd6ab7d224e53d (diff) | |
Support context-(in)dependent decision strategies. (#3281)
Diffstat (limited to 'src/theory/arrays/theory_arrays.h')
| -rw-r--r-- | src/theory/arrays/theory_arrays.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/arrays/theory_arrays.h b/src/theory/arrays/theory_arrays.h index be80a081d..3d6d0692e 100644 --- a/src/theory/arrays/theory_arrays.h +++ b/src/theory/arrays/theory_arrays.h @@ -474,6 +474,8 @@ class TheoryArrays : public Theory { }; /** an instance of the above decision strategy */ std::unique_ptr<TheoryArraysDecisionStrategy> d_dstrat; + /** Have we registered the above strategy? (context-independent) */ + bool d_dstratInit; /** get the next decision request * * If the "arrays-eager-index" option is enabled, then whenever a |