diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-16 11:07:36 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-16 11:07:36 +0200 |
commit | 548582b252170f35a602705a109d88a608611cca (patch) | |
tree | abcfe42578de4b4a99905ed76e1df23c396820ef /src/theory/quantifiers/modes.cpp | |
parent | bad7f4fe4dca4c6511c2862bf81b6791640ac78f (diff) |
Add option --fmf-fun-rlv, remove deprecated option --axiom-inst.
Diffstat (limited to 'src/theory/quantifiers/modes.cpp')
-rw-r--r-- | src/theory/quantifiers/modes.cpp | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/theory/quantifiers/modes.cpp b/src/theory/quantifiers/modes.cpp index ebc1088a8..253f23561 100644 --- a/src/theory/quantifiers/modes.cpp +++ b/src/theory/quantifiers/modes.cpp @@ -59,24 +59,6 @@ std::ostream& operator<<(std::ostream& out, theory::quantifiers::LiteralMatchMod return out; } -std::ostream& operator<<(std::ostream& out, theory::quantifiers::AxiomInstMode mode) { - switch(mode) { - case theory::quantifiers::AXIOM_INST_MODE_DEFAULT: - out << "AXIOM_INST_MODE_DEFAULT"; - break; - case theory::quantifiers::AXIOM_INST_MODE_TRUST: - out << "AXIOM_INST_MODE_TRUST"; - break; - case theory::quantifiers::AXIOM_INST_MODE_PRIORITY: - out << "AXIOM_INST_MODE_PRIORITY"; - break; - default: - out << "AxiomInstMode!UNKNOWN"; - } - - return out; -} - std::ostream& operator<<(std::ostream& out, theory::quantifiers::MbqiMode mode) { switch(mode) { case theory::quantifiers::MBQI_GEN_EVAL: |