Struct UnsatConditionFactory

• Defined in File RepairAdvice.h

Struct Documentation

struct UnsatConditionFactory

Public Functions

inline virtual ~UnsatConditionFactory()

inline virtual UnsatPrecondition *buildUnsatPrecondition(double t, const Action *a, const State *s)

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

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

inline virtual UnsatGoal *buildUnsatGoal(const Proposition *p, const State *s)

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