cvc4-1.4
expr_stream.h
Go to the documentation of this file.
1 /********************* */
17 #include "cvc4_public.h"
18 
19 #ifndef __CVC4__EXPR_STREAM_H
20 #define __CVC4__EXPR_STREAM_H
21 
22 #include "expr/expr.h"
23 
24 namespace CVC4 {
25 
31 public:
33  virtual ~ExprStream() {}
34 
39  virtual Expr nextExpr() = 0;
40 };/* class ExprStream */
41 
42 }/* CVC4 namespace */
43 
44 #endif /* __CVC4__EXPR_STREAM_H */
45 
Class encapsulating CVC4 expressions and methods for constructing new expressions.
Definition: expr.h:227
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
A pure-virtual stream interface for expressions.
Definition: expr_stream.h:30
Macros that should be defined everywhere during the building of the libraries and driver binary...
virtual ~ExprStream()
Virtual destructor; this implementation does nothing.
Definition: expr_stream.h:33
expr.h