#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] |