cvc4-1.4
|
A pure-virtual stream interface for expressions. More...
#include <expr_stream.h>
Public Member Functions | |
virtual | ~ExprStream () |
Virtual destructor; this implementation does nothing. More... | |
virtual Expr | nextExpr ()=0 |
Get the next expression in the stream (advancing the stream pointer as a side effect.) More... | |
A pure-virtual stream interface for expressions.
Can be used to communicate streams of expressions between different parts of CVC4.
Definition at line 30 of file expr_stream.h.
|
inlinevirtual |
Virtual destructor; this implementation does nothing.
Reimplemented in CVC4::parser::Parser::ExprStream.
Definition at line 33 of file expr_stream.h.
|
pure virtual |
Get the next expression in the stream (advancing the stream pointer as a side effect.)
Implemented in CVC4::parser::Parser::ExprStream.