diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-15 07:07:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-15 07:07:28 -0500 |
| commit | a1e951127f7a3af158ca1408e62bd46d5cb065ff (patch) | |
| tree | 222791b1dad319e93d9caed260a098a455b47d35 /src/theory/theory.h | |
| parent | dc2748198fb2c404b31a144fcad67379b3089e3d (diff) | |
Minor cleanup related to notifications (#4898)
This includes eliminating TheoryBV's call to eqNotifyNewEqClass and fixing an issue with string's eqNotifyNewEqClass method, which was registering constant integers.
It also removes some unnecessary methods in Theory.
Diffstat (limited to 'src/theory/theory.h')
| -rw-r--r-- | src/theory/theory.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/theory/theory.h b/src/theory/theory.h index e40534dc4..ef06732fb 100644 --- a/src/theory/theory.h +++ b/src/theory/theory.h @@ -522,9 +522,6 @@ class Theory { /** Called to set the decision manager. */ void setDecisionManager(DecisionManager* dm); - /** Setup an ExtTheory module for this Theory. Can only be called once. */ - void setupExtTheory(); - /** * Return the current theory care graph. Theories should overload * computeCareGraph to do the actual computation, and use addCarePair to add |