cvc4-1.4
|
An expression stream interface for a parser. More...
#include <parser.h>
Public Member Functions | |
ExprStream (Parser *parser) | |
~ExprStream () | |
Virtual destructor; this implementation does nothing. More... | |
Expr | nextExpr () |
Get the next expression in the stream (advancing the stream pointer as a side effect.) More... | |
An expression stream interface for a parser.
This stream simply pulls expressions from the given Parser object.
Here, the ExprStream base class allows a Parser (from the parser library) and core components of CVC4 (in the core library) to communicate without polluting the public interface or having them reach into private (undocumented) interfaces.
|
inline |
|
inlinevirtual |
Virtual destructor; this implementation does nothing.
Reimplemented from CVC4::ExprStream.
|
inlinevirtual |
Get the next expression in the stream (advancing the stream pointer as a side effect.)
Implements CVC4::ExprStream.
Definition at line 619 of file parser.h.
References CVC4::parser::Parser::nextExpression().