19#ifndef __CVC4__EXPR_STREAM_H
20#define __CVC4__EXPR_STREAM_H
A pure-virtual stream interface for expressions.
virtual ~ExprStream()
Virtual destructor; this implementation does nothing.
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.
Macros that should be defined everywhere during the building of the libraries and driver binary,...