Class Plan

Defined in File Plan.h

Nested Relationships

Nested Types

Class Documentation

class Plan

Public Types

typedef vector<pair<double, Action*>> timedActionSeq

typedef list<Happening*> HappeningSeq

Public Functions

inline Validator *getValidator() const

inline HappeningSeq::const_iterator getFirstHappening() const

inline HappeningSeq::const_iterator getEndHappening() const

Plan(Validator *v, const operator_list *ops, const plan *p)

inline ~Plan()

inline Happening *lastHappening() const

inline const_iterator begin() const

inline const_iterator end() const

void display() const

int length() const

inline double getTime() const

double timeOf(const Action *a) const

void show(ostream &o) const

void addHappening(Happening *h)

Friends

friend class const_iterator

class const_iterator : public std::iterator<std::input_iterator_tag, const Happening*>

Public Functions

inline const_iterator(const Plan *p)

inline int operator-(const const_iterator &x)

inline double getTime()

inline void deleteActiveFEs()

inline bool isRegular() const

inline ActiveCtsEffects *getActiveCtsEffects()

inline ExecutionContext *getExecutionContext()

inline const ActiveCtsEffects *getActiveCtsEffects() const

inline const ExecutionContext *getExecutionContext() const

inline bool isInvariant() const

inline void toEnd()

inline bool operator==(const const_iterator &c) const

inline bool operator!=(const const_iterator &c) const

inline const Happening *operator*() const

inline const_iterator &operator++()

inline void handleInvHappening()

inline void handleCtsHappening()

inline const_iterator operator++(int)