#include <state_file.h>
Inherits sc::StateOut.
Inherited by sc::StateOutBin, and sc::StateOutText.
PublicMemberFunctionsStateOutFile ()
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.
ProtectedAttributes
int opened_
std::streambuf * buf_AdditionalInheritedMembers