1 #if !defined(_OUTPUT_MANAGER_HH_)
2 #define _OUTPUT_MANAGER_HH_
15 template <
class Input,
class Output,
class State,
typename CFtype =
int>
21 virtual void Print(std::ostream& os = std::cout)
const;
27 virtual void OutputState(
const State &st, Output& out)
const = 0;
33 virtual void InputState(State &st,
const Output& out)
const = 0;
39 virtual void ReadState(State &st, std::istream &is)
const;
45 virtual void WriteState(
const State &st, std::ostream &os)
const;
47 virtual void PrettyPrintOutput(
const State &st,
const std::string& file_name)
const { std::cout <<
"Sorry, not implemented yet" << std::endl; }
68 template <
class Input,
class Output,
class State,
typename CFtype>
71 os <<
"Output Manager: " << name << std::endl;
74 template <
class Input,
class Output,
class State,
typename CFtype>
82 template <
class Input,
class Output,
class State,
typename CFtype>
92 #endif // _OUTPUT_MANAGER_HH_
virtual void PrettyPrintOutput(const State &st, const std::string &file_name) const
OutputManager(const Input &i, std::string e_name)
virtual void WriteState(const State &st, std::ostream &os) const
virtual void InputState(State &st, const Output &out) const =0
virtual void OutputState(const State &st, Output &out) const =0
virtual void ReadState(State &st, std::istream &is) const
virtual void Print(std::ostream &os=std::cout) const