Public Member Functions¶

StateOutFile ()
State information will be written to ExEnv::outn(). StateOutFile (std::ostream &s)
State information will be written to s. StateOutFile (const char *name)
State information will be written to name. 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_

Additional Inherited Members¶