#include <state.h>

Public Member Functions | |
| void | dump () const |
| bool | is_applicable (const TimeStampedState &state, bool allowRelaxed=false) const |
| bool | operator< (const Prevail &other) const |
| Prevail (istream &in) | |
| Prevail (int v, double p) | |
| virtual | ~Prevail () |
Public Attributes | |
| double | prev |
| int | var |
Definition at line 17 of file search/state.h.
| Prevail::Prevail | ( | istream & | in | ) |
Definition at line 10 of file search/operator.cpp.
| Prevail::Prevail | ( | int | v, |
| double | p | ||
| ) | [inline] |
Definition at line 22 of file search/state.h.
| virtual Prevail::~Prevail | ( | ) | [inline, virtual] |
Definition at line 26 of file search/state.h.
| void Prevail::dump | ( | ) | const |
Definition at line 163 of file search/operator.cpp.
| bool Prevail::is_applicable | ( | const TimeStampedState & | state, |
| bool | allowRelaxed = false |
||
| ) | const |
Definition at line 15 of file search/operator.cpp.
| bool Prevail::operator< | ( | const Prevail & | other | ) | const [inline] |
Definition at line 34 of file search/state.h.
| double Prevail::prev |
Definition at line 20 of file search/state.h.
| int Prevail::var |
Definition at line 19 of file search/state.h.