#include <state.h>
Public Member Functions | |
| void | dump (bool verbose) const |
| const double & | get_timestamp () const |
| TimeStampedState | increase_time_stamp_by (double increment) const |
| bool | is_consistent_now () const |
| bool | is_consistent_when_progressed (TimedSymbolicStates *timedSymbolicStates) const |
| TimeStampedState | let_time_pass (bool go_to_intermediate_between_now_and_next_happening=false, bool skip_eps_steps=false) const |
| double | next_happening () const |
| double & | operator[] (int index) |
| double | operator[] (int index) const |
| bool | satisfies (const vector< pair< int, double > > &goal) const |
| void | scheduleEffect (ScheduledEffect effect) |
| TimeStampedState (istream &in) | |
| TimeStampedState (const TimeStampedState &predecessor, const Operator &op) | |
Public Attributes | |
| vector< ScheduledCondition > | conds_at_end |
| vector< ScheduledCondition > | conds_over_all |
| vector< ScheduledOperator > | operators |
| vector< ScheduledEffect > | scheduled_effects |
| vector< ScheduledModuleEffect > | scheduled_module_effects |
| vector< double > | state |
| double | timestamp |
Private Member Functions | |
| void | apply_discrete_effect (int var, double post) |
| void | apply_effect (int lhs, assignment_op op, int rhs, double post) |
| void | apply_module_effect (string internal_name) |
| void | apply_numeric_effect (int lhs, assignment_op op, int rhs) |
| double | eps_time (double offset) const |
| void | initialize () |
| bool | satisfies (const Prevail &cond) const |
| bool | satisfies (const vector< Prevail > &conds) const |
| bool | satisfies (const pair< int, double > &goal) const |
Friends | |
| class | AxiomEvaluator |
| class | ConsistencyCache |
| class | CyclicCGHeuristic |
| class | NoHeuristic |
| class | Operator |
| struct | PrePost |
| struct | Prevail |
| class | RelaxedState |
| struct | TssCompareIgnoreTimestamp |
Definition at line 279 of file search/state.h.
| TimeStampedState::TimeStampedState | ( | istream & | in | ) |
Definition at line 14 of file search/state.cpp.
| TimeStampedState::TimeStampedState | ( | const TimeStampedState & | predecessor, |
| const Operator & | op | ||
| ) |
Definition at line 46 of file search/state.cpp.
| void TimeStampedState::apply_discrete_effect | ( | int | var, |
| double | post | ||
| ) | [inline, private] |
Definition at line 334 of file search/state.h.
| void TimeStampedState::apply_effect | ( | int | lhs, |
| assignment_op | op, | ||
| int | rhs, | ||
| double | post | ||
| ) | [inline, private] |
Definition at line 341 of file search/state.h.
| void TimeStampedState::apply_module_effect | ( | string | internal_name | ) | [private] |
Definition at line 30 of file search/state.cpp.
| void TimeStampedState::apply_numeric_effect | ( | int | lhs, |
| assignment_op | op, | ||
| int | rhs | ||
| ) | [inline, private] |
Definition at line 310 of file search/state.h.
| void TimeStampedState::dump | ( | bool | verbose | ) | const |
Definition at line 390 of file search/state.cpp.
| double TimeStampedState::eps_time | ( | double | offset | ) | const [private] |
Definition at line 176 of file search/state.cpp.
| const double& TimeStampedState::get_timestamp | ( | ) | const [inline] |
Definition at line 395 of file search/state.h.
| TimeStampedState TimeStampedState::increase_time_stamp_by | ( | double | increment | ) | const |
Definition at line 348 of file search/state.cpp.
| void TimeStampedState::initialize | ( | ) | [inline, private] |
Definition at line 350 of file search/state.h.
| bool TimeStampedState::is_consistent_now | ( | ) | const |
Definition at line 462 of file search/state.cpp.
| bool TimeStampedState::is_consistent_when_progressed | ( | TimedSymbolicStates * | timedSymbolicStates | ) | const |
Definition at line 480 of file search/state.cpp.
| TimeStampedState TimeStampedState::let_time_pass | ( | bool | go_to_intermediate_between_now_and_next_happening = false, |
| bool | skip_eps_steps = false |
||
| ) | const |
Definition at line 196 of file search/state.cpp.
| double TimeStampedState::next_happening | ( | ) | const |
Definition at line 379 of file search/state.cpp.
| double& TimeStampedState::operator[] | ( | int | index | ) | [inline] |
Definition at line 378 of file search/state.h.
| double TimeStampedState::operator[] | ( | int | index | ) | const [inline] |
Definition at line 382 of file search/state.h.
| bool TimeStampedState::satisfies | ( | const Prevail & | cond | ) | const [inline, private] |
Definition at line 292 of file search/state.h.
| bool TimeStampedState::satisfies | ( | const vector< Prevail > & | conds | ) | const [inline, private] |
Definition at line 297 of file search/state.h.
| bool TimeStampedState::satisfies | ( | const pair< int, double > & | goal | ) | const [inline, private] |
Definition at line 305 of file search/state.h.
| bool TimeStampedState::satisfies | ( | const vector< pair< int, double > > & | goal | ) | const [inline] |
Definition at line 400 of file search/state.h.
| void TimeStampedState::scheduleEffect | ( | ScheduledEffect | effect | ) |
Definition at line 456 of file search/state.cpp.
friend class AxiomEvaluator [friend] |
Definition at line 282 of file search/state.h.
friend class ConsistencyCache [friend] |
Definition at line 288 of file search/state.h.
friend class CyclicCGHeuristic [friend] |
Definition at line 287 of file search/state.h.
friend class NoHeuristic [friend] |
Definition at line 286 of file search/state.h.
friend class Operator [friend] |
Definition at line 285 of file search/state.h.
friend struct PrePost [friend] |
Definition at line 283 of file search/state.h.
friend struct Prevail [friend] |
Definition at line 284 of file search/state.h.
friend class RelaxedState [friend] |
Definition at line 281 of file search/state.h.
friend struct TssCompareIgnoreTimestamp [friend] |
Definition at line 289 of file search/state.h.
Definition at line 363 of file search/state.h.
Definition at line 362 of file search/state.h.
Definition at line 366 of file search/state.h.
Definition at line 360 of file search/state.h.
Definition at line 361 of file search/state.h.
| vector<double> TimeStampedState::state |
Definition at line 359 of file search/state.h.
| double TimeStampedState::timestamp |
Definition at line 365 of file search/state.h.