#include <State.h>

Public Member Functions | |
| const bool | getObserved () const |
| const string | getVNameCurr () const |
| const string | getVNamePrev () const |
| void | setObserved (bool o) |
| void | setVNameCurr (string str) |
| void | setVNamePrev (string str) |
| std::ostream & | write (std::ostream &out) |
Protected Attributes | |
| bool | observed |
| string | vnameCurr |
| string | vnamePrev |
| const bool State::getObserved | ( | ) | const |
| const string State::getVNameCurr | ( | ) | const |
| const string State::getVNamePrev | ( | ) | const |
| void State::setObserved | ( | bool | o | ) |
| void State::setVNameCurr | ( | string | str | ) |
| void State::setVNamePrev | ( | string | str | ) |
| std::ostream & State::write | ( | std::ostream & | out | ) |
bool State::observed [protected] |
string State::vnameCurr [protected] |
string State::vnamePrev [protected] |