Class ErrorLog

Defined in File RepairAdvice.h

Class Documentation

class ErrorLog

Public Functions

inline ErrorLog()

~ErrorLog()

void addPrecondition(double t, const Action *a, const State *s)

void addUnsatDurationCondition(double t, const Action *a, const State *s, double e)

void addMutexViolation(double t, const Action *a1, const Action *a2, const State *s)

void addUnsatInvariant(double st, double e, Intervals ints, const Action *a, const State *s, bool rootError = false)

void addGoal(const Proposition *p, const State *s)

inline vector<const UnsatCondition*> &getConditions()

void displayReport() const

Public Static Functions

template<typename Fac> static inline void replace()

template<typename Fac> static inline void replace(Fac *f)