Wrapper around an input stream.
More...
#include <input.h>
|
| InputStream (std::string name, bool isTemporary=false) |
| Initialize the input stream with a name. More...
|
|
Wrapper around an input stream.
Definition at line 48 of file input.h.
CVC4::parser::InputStream::InputStream |
( |
std::string |
name, |
|
|
bool |
isTemporary = false |
|
) |
| |
|
inlineprotected |
Initialize the input stream with a name.
Definition at line 60 of file input.h.
virtual CVC4::parser::InputStream::~InputStream |
( |
| ) |
|
|
inlinevirtual |
Destructor.
Definition at line 68 of file input.h.
const std::string CVC4::parser::InputStream::getName |
( |
| ) |
const |
Get the name of this input stream.
The documentation for this class was generated from the following file: