cvc4-1.4
lemma_output_channel.h
Go to the documentation of this file.
1 /********************* */
19 #include "cvc4_public.h"
20 
21 #ifndef __CVC4__LEMMA_OUTPUT_CHANNEL_H
22 #define __CVC4__LEMMA_OUTPUT_CHANNEL_H
23 
24 #include "expr/expr.h"
25 
26 namespace CVC4 {
27 
34 public:
35  virtual ~LemmaOutputChannel() throw() { }
36 
41  virtual void notifyNewLemma(Expr lemma) = 0;
42 };/* class LemmaOutputChannel */
43 
44 }/* CVC4 namespace */
45 
46 #endif /* __CVC4__LEMMA_OUTPUT_CHANNEL_H */
Class encapsulating CVC4 expressions and methods for constructing new expressions.
Definition: expr.h:227
Definition: options.h:94
This interface describes a mechanism for the propositional and theory engines to communicate with the...
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
Macros that should be defined everywhere during the building of the libraries and driver binary...
expr.h