Public Member Functions | |
Configuration (State s) | |
Configuration (Configuration const &c) | |
bool | operator< (Configuration const &other) const |
bool | operator== (Configuration const &other) const |
Public Attributes | |
State | state |
std::vector< State > | callPredecessors |
opennwa::details::Configuration::Configuration | ( | State | s | ) |
opennwa::details::Configuration::Configuration | ( | Configuration const & | c | ) |
bool opennwa::details::Configuration::operator< | ( | Configuration const & | other | ) | const |
References callPredecessors, and state.
bool opennwa::details::Configuration::operator== | ( | Configuration const & | other | ) | const |
Referenced by operator<(), and opennwa::details::operator<<().
std::vector<State> opennwa::details::Configuration::callPredecessors |
Referenced by operator<(), and opennwa::details::operator<<().