Class RobustPlanAnalyser

Defined in File RobustAnalyse.h

Class Documentation

class RobustPlanAnalyser

Public Functions

inline RobustPlanAnalyser(double rm, int ntp, const DerivationRules *dr, double tol, TypeChecker &tc, const operator_list *ops, const effect_lists *is, const plan *p1, const metric_spec *m, bool lengthDefault, bool isDur, const goal *g, analysis *ca, vector<plan_step*> initLits, bool car, bool cpr, RobustMetric robm, RobustDist robd)

~RobustPlanAnalyser()

void displayPlan()

void analyseRobustness()

void runAnalysis(double &variation, int &numberTestPlans, bool recordFailures, int &numberOfInvalidPlans, int &numberOfErrorPlans, bool allValid, bool latexAdvice)

void runAnalysisBoundary(double &variation, int &numberTestPlans, bool recordFailures, int &numberOfInvalidPlans, int &numberOfErrorPlans, bool allValid, bool latexAdvice)

void calculateActionRobustness(double &robustnessOfPlan, double &robustnessBound)

void calculatePNERobustness(double &robustnessOfPlan, double &robustnessBound)

void displayAnalysis(int noTestPlans, int numberOfInvalidPlans, int numberOfErrorPlans, double actionRobustnessOfPlan, double actionRobustnessBound, double pneRobustnessOfPlan, double pneRobustnessBound)

void displayAnalysisLaTeX(int noTestPlans, int numberOfInvalidPlans, int numberOfErrorPlans, double actionRobustnessOfPlan, double actionRobustnessBound, double pneRobustnessOfPlan, double pneRobustnessBound)

map<const plan_step*, const plan_step*> varyPlanTimestamps(plan *aplan, const plan *p, double &variation)

map<const plan_step*, const plan_step*> varyPlanTimestampsDelay(plan *aplan, const plan *p, double &variation)

map<const plan_step*, const plan_step*> varyPlanTimestampsAccum(plan *aplan, const plan *p, double &variation)

map<const plan_step*, const plan_step*> varyPlanTimestampsMax(plan *aplan, const plan *p, double &variation)

map<const plan_step*, const plan_step*> varyPlanTimestampsBoundary(plan *aplan, const plan *p, double &variation, int runNo)

map<const plan_step*, const plan_step*> varyPlanTimestampsBoundaryDelay(plan *aplan, const plan *p, double &variation, int runNo)

map<const plan_step*, const plan_step*> varyPlanTimestampsBoundaryAccum(plan *aplan, const plan *p, double &variation, int runNo)

map<const plan_step*, const plan_step*> varyPlanTimestampsBoundaryMax(plan *aplan, const plan *p, double &variation, int runNo)

string getMetricName()

double getRandomNumber()

double getRandomNumberUni()

double getRandomNumberNorm()

double getRandomNumberPsuedoNorm()

string getDistName()