Class PlanRepair

Defined in File Validator.h

Class Documentation

class PlanRepair

Public Functions

inline PlanRepair(vector<plan_step*> initLits, double dl, const DerivationRules *dr, double tol, TypeChecker &tc, const operator_list *ops, const effect_lists *is, const plan *p1, const plan *p2, const metric_spec *m, bool lengthDefault, bool isDur, const goal *g, analysis *ca)

inline ~PlanRepair()

inline void setDeadline(double d)

void setPlanAndTimedInitLits(const plan *p, set<plan_step*> lockedActions)

void advice(ErrorLog &el)

void firstPlanAdvice()

inline Validator &getValidator()

inline vector<const UnsatCondition*> getUnSatConditions()

inline const plan *getPlan() const

bool isInTimeInitialLiteralList(const plan_step *ps)

set<const Action*> getUniqueFlawedActions(Validator *vld)

bool repairPlanBeagle()

void repairPlan()

pair<const plan_step*, pair<bool, bool>> repairPlanOneAction(const plan *repairingPlan, const plan_step *firstAction)

bool repairPlanOneActionAtATime(const plan *repairingPlan, const plan_step *firstAction)

bool slideEndOfPlan(const plan *repairingPlan, const plan_step *firstAction)

bool shakePlan(const plan *repairingPlan, const plan_step *firstAction, double variation)

inline void setState(const effect_lists *effs)