#include <axioms.h>
Public Member Functions | |
void | dump () |
bool | is_applicable (const TimeStampedState &state) const |
LogicAxiom (std::istream &in) | |
Public Attributes | |
double | new_value |
double | old_value |
std::vector< Prevail > | prevail |
LogicAxiom::LogicAxiom | ( | std::istream & | in | ) |
Definition at line 10 of file axioms.cpp.
void LogicAxiom::dump | ( | ) | [inline] |
bool LogicAxiom::is_applicable | ( | const TimeStampedState & | state | ) | const [inline] |
double LogicAxiom::new_value |
double LogicAxiom::old_value |
std::vector<Prevail> LogicAxiom::prevail |