Public Member Functions | Public Attributes | Private Member Functions | Friends
TimeStampedState Class Reference

#include <state.h>

List of all members.

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< ScheduledConditionconds_at_end
vector< ScheduledConditionconds_over_all
vector< ScheduledOperatoroperators
vector< ScheduledEffectscheduled_effects
vector< ScheduledModuleEffectscheduled_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

Detailed Description

Definition at line 279 of file search/state.h.


Constructor & Destructor Documentation

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.


Member Function Documentation

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.

Definition at line 348 of file search/state.cpp.

void TimeStampedState::initialize ( ) [inline, private]

Definition at line 350 of file search/state.h.

Definition at line 462 of file search/state.cpp.

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.

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.

Definition at line 456 of file search/state.cpp.


Friends And Related Function Documentation

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.


Member Data Documentation

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.

Definition at line 365 of file search/state.h.


The documentation for this class was generated from the following files:


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06