Struct UnsatPrecondition

• Defined in File RepairAdvice.h

Inheritance Relationships

Base Type

• public VAL::UnsatCondition (Class UnsatCondition)

Struct Documentation

struct UnsatPrecondition : public VAL::UnsatCondition

Public Functions

inline UnsatPrecondition(double t, const Action *a, const State *s)

inline ~UnsatPrecondition()

virtual void display() const

virtual void advice() const

inline virtual const Action *getAct() const

inline virtual double getTime() const

virtual string getDisplayString() const

Public Members

double time

const Action *action