Struct UnsatInvariant

Defined in File RepairAdvice.h

Inheritance Relationships

Base Type

public VAL::UnsatCondition (Class UnsatCondition)

Struct Documentation

struct UnsatInvariant : public VAL::UnsatCondition 

Public Functions

inline UnsatInvariant(double st, double e, const Intervals &ints, const Action *a, const State *s, bool re)

inline ~UnsatInvariant()

virtual void display() const

virtual void advice() const

inline virtual const Action *getAct() const

inline virtual double getTime() const

inline double getEnd() const

inline bool isRootError() const

inline const Intervals &getInts() const

inline virtual double howLong() const

virtual string getDisplayString() const

Public Members

double startTime

double endTime

Intervals satisfiedOn

const Action *action

bool rootError