diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-10 19:02:32 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-03-20 17:18:57 -0400 |
| commit | d802bd27402c4e370177bc9e32f36ded4c49c860 (patch) | |
| tree | a91cd86535f8be7289cf5199709876fa55f6c213 /src/theory/sets/theory_sets.h | |
| parent | c1f794f35cca4be9ad1ca0135806430d06101eb2 (diff) | |
work on set model
Diffstat (limited to 'src/theory/sets/theory_sets.h')
| -rw-r--r-- | src/theory/sets/theory_sets.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/theory/sets/theory_sets.h b/src/theory/sets/theory_sets.h index c95229f05..8900b0e38 100644 --- a/src/theory/sets/theory_sets.h +++ b/src/theory/sets/theory_sets.h @@ -48,7 +48,7 @@ public: void check(Effort); - void propagate(Effort); + void collectModelInfo(TheoryModel*, bool fullModel); Node explain(TNode); @@ -56,6 +56,8 @@ public: void preRegisterTerm(TNode node); + void propagate(Effort); + };/* class TheorySets */ }/* CVC4::theory::sets namespace */ |