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