Struct UnsatGoal

Defined in File RepairAdvice.h

Inheritance Relationships

Base Type

public VAL::UnsatCondition (Class UnsatCondition)

Struct Documentation

struct UnsatGoal : public VAL::UnsatCondition 

Public Functions

inline UnsatGoal(const Proposition *p, const State *s)

inline ~UnsatGoal()

virtual void display() const

virtual string getDisplayString() const

virtual void advice() const

Public Members

const Proposition *pre