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
25namespace CVC4 {
26
28public:
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
virtual Expr getNewLemma()=0
virtual bool hasNewLemma()=0
Macros that should be defined everywhere during the building of the libraries and driver binary,...
#define CVC4_PUBLIC
Definition cvc4_public.h:30
Definition expr.h:106