Class UnsatCondition

Defined in File RepairAdvice.h

Inheritance Relationships

Derived Types

public VAL::MutexViolation (Struct MutexViolation)
public VAL::UnsatDurationCondition (Struct UnsatDurationCondition)
public VAL::UnsatGoal (Struct UnsatGoal)
public VAL::UnsatInvariant (Struct UnsatInvariant)
public VAL::UnsatPrecondition (Struct UnsatPrecondition)

Class Documentation

class UnsatCondition

Subclassed by VAL::MutexViolation, VAL::UnsatDurationCondition, VAL::UnsatGoal, VAL::UnsatInvariant, VAL::UnsatPrecondition

Public Functions

inline UnsatCondition(const State &st, const AdviceProposition *a)

inline virtual ~UnsatCondition()

inline virtual void display() const

inline virtual void advice() const

inline virtual const Action *getAct() const

inline virtual double getTime() const

inline virtual State &getState() const

inline virtual double howLong() const

inline virtual string getDisplayString() const

virtual string getAdviceString() const

Public Members

const AdviceProposition *ap

Protected Attributes

mutable State state