28#ifndef _util_state_state_file_h
29#define _util_state_state_file_h
39#include <util/state/state.h>
40#include <util/state/statein.h>
41#include <util/state/stateout.h>
47class StateOutFile:
public StateOut {
51 void operator=(
const StateOutFile&);
66 virtual int open(
const char *name);
75class StateInFile:
public StateIn {
79 void operator=(
const StateInFile&);
94 virtual int open(
const char *name);
StateInFile(const char *name)
State information will be obtained from name.
StateInFile()
State information will be obtained from cin.
virtual void close()
Close the output file.
virtual int open(const char *name)
State information will be obtained from name.
StateInFile(std::istream &s)
State information will be obtained from fp.
virtual void close()
Close the output stream.
virtual int open(const char *name)
State information will be written to name.
StateOutFile()
State information will be written to ExEnv::outn().
StateOutFile(std::ostream &s)
State information will be written to s.
virtual void flush()
Flush the output stream.
StateOutFile(const char *name)
State information will be written to name.