diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-17 18:01:10 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-20 17:18:58 -0400 |
| commit | c8b948c37364104bf5f9ca5eca83120247b693a4 (patch) | |
| tree | a4fba0d7ba7b8a1f93ff44878414fdda2e9ed941 /src/theory/sets/theory_sets.h | |
| parent | dead33e1660596c75f2bfc5ee86ed39600a92a45 (diff) | |
Fix for registration issues of term appearing in a shared lemma
(brought to attention by lianah -- fix currently just adapted using
arrays -- this is to remind me to raise why do we even have this
isPreregistered bussiness)
Diffstat (limited to 'src/theory/sets/theory_sets.h')
| -rw-r--r-- | src/theory/sets/theory_sets.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/sets/theory_sets.h b/src/theory/sets/theory_sets.h index 8900b0e38..f40031514 100644 --- a/src/theory/sets/theory_sets.h +++ b/src/theory/sets/theory_sets.h @@ -46,6 +46,8 @@ public: ~TheorySets(); + void addSharedTerm(TNode); + void check(Effort); void collectModelInfo(TheoryModel*, bool fullModel); |