1 /**++
2 Copyright (c) 2017 Microsoft Corporation and Matteo Marescotti
3 
4 Module Name:
5 
6     spacer_callback.cpp
7 
8 Abstract:
9 
10     SPACER plugin for handling events
11 
12 Author:
13 
14     Matteo Marescotti
15 
16 Notes:
17 
18 --*/
19 
20 #include "spacer_callback.h"
21 #include "muz/spacer/spacer_context.h"
22 
23 
24 namespace spacer {
25 
new_lemma_eh(expr * lemma,unsigned level)26     void user_callback::new_lemma_eh(expr *lemma, unsigned level) {
27         m_new_lemma_eh(m_state, lemma, level);
28     }
29 
predecessor_eh()30     void user_callback::predecessor_eh() {
31         m_predecessor_eh(m_state);
32     }
33 
unfold_eh()34     void user_callback::unfold_eh() {
35         m_unfold_eh(m_state);
36     }
37 
38 }