19 #ifndef __CVC4__EXPR_STREAM_H 20 #define __CVC4__EXPR_STREAM_H 39 virtual Expr nextExpr() = 0;
Class encapsulating CVC4 expressions and methods for constructing new expressions.
A pure-virtual stream interface for expressions.
Macros that should be defined everywhere during the building of the libraries and driver binary...
virtual ~ExprStream()
Virtual destructor; this implementation does nothing.