cvc4-1.3
CVC4::ExprStream Class Referenceabstract

A pure-virtual stream interface for expressions. More...

#include <expr_stream.h>

Inheritance diagram for CVC4::ExprStream:
CVC4::parser::Parser::ExprStream

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...
 

Detailed Description

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.

Constructor & Destructor Documentation

virtual CVC4::ExprStream::~ExprStream ( )
inlinevirtual

Virtual destructor; this implementation does nothing.

Reimplemented in CVC4::parser::Parser::ExprStream.

Definition at line 33 of file expr_stream.h.

Member Function Documentation

virtual Expr CVC4::ExprStream::nextExpr ( )
pure virtual

Get the next expression in the stream (advancing the stream pointer as a side effect.)

Implemented in CVC4::parser::Parser::ExprStream.


The documentation for this class was generated from the following file: