diff options
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/theory_test_utils.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/theory/theory_test_utils.h b/src/theory/theory_test_utils.h index 237b09bc1..e4921b163 100644 --- a/src/theory/theory_test_utils.h +++ b/src/theory/theory_test_utils.h @@ -107,6 +107,11 @@ public: d_callHistory.clear(); } + LemmaStatus splitLemma(TNode n, bool removable = false) throw(TypeCheckingExceptionPrivate, AssertionException){ + push(LEMMA, n); + return LemmaStatus(Node::null(), 0); + } + Node getIthNode(int i) { Node tmp = (d_callHistory[i]).second; return tmp; |