diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-28 11:03:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-28 11:03:33 -0500 |
| commit | c38f35164adc5ab255803765a568ef820fa8f3b2 (patch) | |
| tree | 6cbd4b21e8e9ff364b5b2f14467cd986ea69acf2 /src/theory/engine_output_channel.h | |
| parent | b90cfb462bde3e75c07bb14e2393ee8e4b4f4d42 (diff) | |
Use lemma property enum for OutputChannel::lemma (#4755)
There are 3 Boolean flags for OutputChannel::lemma, and plans to add another for relevance.
This makes them into a enum.
Diffstat (limited to 'src/theory/engine_output_channel.h')
| -rw-r--r-- | src/theory/engine_output_channel.h | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/theory/engine_output_channel.h b/src/theory/engine_output_channel.h index d7b26928d..3e959898f 100644 --- a/src/theory/engine_output_channel.h +++ b/src/theory/engine_output_channel.h @@ -51,9 +51,7 @@ class EngineOutputChannel : public theory::OutputChannel theory::LemmaStatus lemma(TNode lemma, ProofRule rule, - bool removable = false, - bool preprocess = false, - bool sendAtoms = false) override; + LemmaProperty p = LemmaProperty::NONE) override; theory::LemmaStatus splitLemma(TNode lemma, bool removable = false) override; @@ -81,9 +79,7 @@ class EngineOutputChannel : public theory::OutputChannel * the same as calling OutputChannel::lemma on lem. */ LemmaStatus trustedLemma(TrustNode plem, - bool removable = false, - bool preprocess = false, - bool sendAtoms = false) override; + LemmaProperty p = LemmaProperty::NONE) override; protected: /** |