diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-06-02 10:16:26 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-02 17:16:26 +0000 |
commit | dde15bdbf752246fe7cb504df22261e0ad3835db (patch) | |
tree | ff0b646059dc67c68e24abcc3af5fb3ceeabdc41 /src/theory | |
parent | 338982182dbdabecf6f3b06e659621cf43bed916 (diff) |
Remove redundant logic ALL_SUPPORTED. (#6664)
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/logic_info.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp index 5d741c942..ecebd27c9 100644 --- a/src/theory/logic_info.cpp +++ b/src/theory/logic_info.cpp @@ -383,24 +383,12 @@ void LogicInfo::setLogicString(std::string logicString) // quantified Boolean formulas only; we're done. enableQuantifiers(); p += 3; - } else if(!strcmp(p, "QF_ALL_SUPPORTED")) { - // the "all theories included" logic, no quantifiers - enableEverything(); - disableQuantifiers(); - arithNonLinear(); - p += 16; } else if(!strcmp(p, "QF_ALL")) { // the "all theories included" logic, no quantifiers enableEverything(); disableQuantifiers(); arithNonLinear(); p += 6; - } else if(!strcmp(p, "ALL_SUPPORTED")) { - // the "all theories included" logic, with quantifiers - enableEverything(); - enableQuantifiers(); - arithNonLinear(); - p += 13; } else if(!strcmp(p, "ALL")) { // the "all theories included" logic, with quantifiers enableEverything(); |