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
24namespace CVC4 {
25
31public:
33 virtual ~ExprStream() {}
34
39 virtual Expr nextExpr() = 0;
40};/* class ExprStream */
41
42}/* CVC4 namespace */
43
44#endif /* __CVC4__EXPR_STREAM_H */
45
A pure-virtual stream interface for expressions.
Definition expr_stream.h:30
virtual ~ExprStream()
Virtual destructor; this implementation does nothing.
Definition expr_stream.h:33
virtual Expr nextExpr()=0
Get the next expression in the stream (advancing the stream pointer as a side effect....
Class encapsulating CVC4 expressions and methods for constructing new expressions.
Definition expr.h:227
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