#include <state_file.h>
Inheritance diagram for StateOutFile


Public Methods | |
| StateOutFile () | |
| State information will be written to ExEnv::out(). | |
| StateOutFile (std::ostream &s) | |
| State information will be written to s. | |
| StateOutFile (const char *name) | |
| State information will be written to name. | |
| ~StateOutFile () | |
| virtual int | open (const char *name) |
| State information will be written to name. | |
| virtual void | flush () |
| Flush the output stream. | |
| virtual void | close () |
| Close the output stream. | |
Protected Attributes | |
| int | opened_ |
| std::streambuf* | buf_ |