Class InvariantAction

Defined in File Action.h

Inheritance Relationships

Base Type

public VAL::Action (Class action)

Class Documentation

class InvariantAction : public VAL::Action 

Public Functions

inline InvariantAction(Validator *v, StartAction *sa, const action *a, const const_symbol_list *bs, const plan_step *ps = 0)

~InvariantAction()

virtual bool confirmPrecondition(const State *s) const

virtual void addErrorRecord(double t, const State *s) const

inline void setActiveCtsEffects(ActiveCtsEffects *a)

inline void setRhsIntervalOpen(bool rhs) const

inline bool isRealAction() const

inline bool isRegAction() const

inline virtual void write(ostream &o) const

const Action *partner() const