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 }