diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-18 16:56:24 -0500 |
---|---|---|
committer | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-09-18 16:56:24 -0500 |
commit | e9d45556f4ca8f370ffbd8383885231fe0e456dc (patch) | |
tree | b39342067bce03561cd6f822a9e8cf0cdb5003c5 /src/theory/decision_manager.h | |
parent | e574c859c7f741fc0f4608471afaa5aaac892089 (diff) |
Decision strategy: incorporate strings fmf. (#2485)
Diffstat (limited to 'src/theory/decision_manager.h')
-rw-r--r-- | src/theory/decision_manager.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/decision_manager.h b/src/theory/decision_manager.h index ff30a13f8..7ac27a531 100644 --- a/src/theory/decision_manager.h +++ b/src/theory/decision_manager.h @@ -71,9 +71,9 @@ class DecisionManager STRAT_UF_CARD, STRAT_DT_SYGUS_ENUM_ACTIVE, STRAT_DT_SYGUS_ENUM_SIZE, + STRAT_STRINGS_SUM_LENGTHS, STRAT_QUANT_BOUND_INT_SIZE, STRAT_QUANT_CEGIS_UNIF_NUM_ENUMS, - STRAT_STRINGS_SUM_LENGTHS, STRAT_SEP_NEG_GUARD, // placeholder for last finite-model-complete required strategy STRAT_LAST_FM_COMPLETE, |