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