diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-15 06:53:33 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-15 06:53:33 +0000 |
commit | 72f552ead344b13d90832222157b970ae3dec8ff (patch) | |
tree | b02854356d5c5f98b3873f858f38b6762135bdc1 /src/theory/theory_test_utils.h | |
parent | 62a50760346e130345b24e8a14ad0dac0dca5d38 (diff) |
additional stuff for sharing,
Diffstat (limited to 'src/theory/theory_test_utils.h')
-rw-r--r-- | src/theory/theory_test_utils.h | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/src/theory/theory_test_utils.h b/src/theory/theory_test_utils.h index ec2405295..bcb1c46d7 100644 --- a/src/theory/theory_test_utils.h +++ b/src/theory/theory_test_utils.h @@ -71,27 +71,21 @@ public: void safePoint() throw(Interrupted, AssertionException) {} - void conflict(TNode n, bool safe = false) - throw(Interrupted, AssertionException) { + void conflict(TNode n) + throw(AssertionException) { push(CONFLICT, n); } - void propagate(TNode n, bool safe = false) - throw(Interrupted, AssertionException) { + void propagate(TNode n) + throw(AssertionException) { push(PROPAGATE, n); } - void lemma(TNode n, bool safe = false) throw(Interrupted, AssertionException) { + void lemma(TNode n, bool removable) throw(AssertionException) { push(LEMMA, n); } - void augmentingLemma(TNode n, bool safe = false) throw(Interrupted, AssertionException){ - push(AUG_LEMMA, n); - } - void explanation(TNode n, bool safe = false) throw(Interrupted, AssertionException) { - push(EXPLANATION, n); - } - void setIncomplete() throw(Interrupted, AssertionException) {} + void setIncomplete() throw(AssertionException) {} void clear() { d_callHistory.clear(); |