21 #ifndef _WORLDSTATE_HH_
22 #define _WORLDSTATE_HH_
111 public:
bool HasModelState(
const std::string &_modelName)
const;
117 public:
bool IsZero()
const;
155 public:
inline friend std::ostream &
operator<<(std::ostream &_out,
158 _out <<
"<state world_name='" << _state.
name <<
"'>"
159 <<
"<sim_time>" << _state.
simTime <<
"</sim_time>"
160 <<
"<wall_time>" << _state.
wallTime <<
"</wall_time>"
161 <<
"<real_time>" << _state.
realTime <<
"</real_time>";
164 if (_state.insertions.size() > 0)
166 _out <<
"<insertions>";
167 for (std::vector<std::string>::const_iterator iter =
168 _state.insertions.begin();
169 iter != _state.insertions.end(); ++iter)
173 _out <<
"</insertions>";
177 if (_state.deletions.size() > 0)
179 _out <<
"<deletions>";
180 for (std::vector<std::string>::const_iterator iter =
181 _state.deletions.begin();
182 iter != _state.deletions.end(); ++iter)
184 _out <<
"<name>" << (*iter) <<
"</name>";
186 _out <<
"</deletions>";
190 for (ModelState_M::const_iterator iter = _state.modelStates.begin();
191 iter != _state.modelStates.end(); ++iter)
193 _out << iter->second;
206 private: std::vector<std::string> insertions;
210 private: std::vector<std::string> deletions;