Struct MutexViolation

Defined in File RepairAdvice.h

Inheritance Relationships

Base Type

public VAL::UnsatCondition (Class UnsatCondition)

Struct Documentation

struct MutexViolation : public VAL::UnsatCondition 

Public Functions

inline MutexViolation(double t, const Action *a1, const Action *a2, const State *s)

inline ~MutexViolation()

virtual void display() const

virtual string getDisplayString() const

virtual void advice() const

Public Members

double time

const Action *action1

const Action *action2