Struct UnsatDurationCondition

• Defined in File RepairAdvice.h

Inheritance Relationships

Base Type

• public VAL::UnsatCondition (Class UnsatCondition)

Struct Documentation

struct UnsatDurationCondition : public VAL::UnsatCondition

Public Functions

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

inline ~UnsatDurationCondition()

virtual void display() const

virtual string getDisplayString() const

virtual void advice() const

Public Members

double time

const Action *action

double error