cvc4-1.4
lemma_input_channel.h
Go to the documentation of this file.
1 /********************* */
18 #include "cvc4_public.h"
19 
20 #ifndef __CVC4__LEMMA_INPUT_CHANNEL_H
21 #define __CVC4__LEMMA_INPUT_CHANNEL_H
22 
23 #include "expr/expr.h"
24 
25 namespace CVC4 {
26 
28 public:
29  virtual ~LemmaInputChannel() throw() { }
30 
31  virtual bool hasNewLemma() = 0;
32  virtual Expr getNewLemma() = 0;
33 
34 };/* class LemmaOutputChannel */
35 
36 }/* CVC4 namespace */
37 
38 #endif /* __CVC4__LEMMA_INPUT_CHANNEL_H */
Class encapsulating CVC4 expressions and methods for constructing new expressions.
Definition: expr.h:227
Definition: expr.h:106
#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