#include <IsNotLocallyOptimal.h>
Public Types | |
| typedef std::set< std::list < AspFluentRef > , LexComparator > | PlanSet |
Public Member Functions | |
| bool | checkPlanValidity (const std::list< AspFluentRef > &) const |
| bool | checkSectionWithLength (const std::list< AspFluentRef > &planCleaned, std::list< AspFluentRef >::const_iterator firstSuspect, int length) const |
| std::list< AspFluentRef > | cleanPlan (const AnswerSet &plan) const |
| std::list< AspFluentRef > ::const_iterator | findFirstSuspiciousAction (const std::list< AspFluentRef > &) const |
| bool | hasLoops (const AnswerSet &plan) const |
| IsNotLocallyOptimal (const PlanSet *good, PlanSet *bad, const ActionSet &allActions, unsigned int shortestLength, bool planFitered) | |
| bool | operator() (const AnswerSet &plan) |
| bool | validFrom (const std::list< AspFluentRef > &planCleaned, std::list< AspFluentRef >::const_iterator firstSuspect) const |
Private Attributes | |
| const ActionSet & | allActions |
| PlanSet * | bad |
| const PlanSet * | good |
| bool | planFiltered |
| unsigned int | shortestLength |
Definition at line 16 of file IsNotLocallyOptimal.h.
| typedef std::set< std::list <AspFluentRef>, LexComparator > actasp::IsNotLocallyOptimal::PlanSet |
Definition at line 18 of file IsNotLocallyOptimal.h.
| actasp::IsNotLocallyOptimal::IsNotLocallyOptimal | ( | const PlanSet * | good, |
| PlanSet * | bad, | ||
| const ActionSet & | allActions, | ||
| unsigned int | shortestLength, | ||
| bool | planFitered | ||
| ) |
Definition at line 16 of file IsNotLocallyOptimal.cpp.
| bool actasp::IsNotLocallyOptimal::checkPlanValidity | ( | const std::list< AspFluentRef > & | ) | const |
Definition at line 292 of file IsNotLocallyOptimal.cpp.
| bool actasp::IsNotLocallyOptimal::checkSectionWithLength | ( | const std::list< AspFluentRef > & | planCleaned, |
| std::list< AspFluentRef >::const_iterator | firstSuspect, | ||
| int | length | ||
| ) | const |
Definition at line 144 of file IsNotLocallyOptimal.cpp.
| list< AspFluentRef > actasp::IsNotLocallyOptimal::cleanPlan | ( | const AnswerSet & | plan | ) | const |
Definition at line 223 of file IsNotLocallyOptimal.cpp.
| list< AspFluentRef >::const_iterator actasp::IsNotLocallyOptimal::findFirstSuspiciousAction | ( | const std::list< AspFluentRef > & | ) | const |
Definition at line 240 of file IsNotLocallyOptimal.cpp.
| bool actasp::IsNotLocallyOptimal::hasLoops | ( | const AnswerSet & | plan | ) | const |
Definition at line 107 of file IsNotLocallyOptimal.cpp.
| bool actasp::IsNotLocallyOptimal::operator() | ( | const AnswerSet & | plan | ) |
Definition at line 26 of file IsNotLocallyOptimal.cpp.
| bool actasp::IsNotLocallyOptimal::validFrom | ( | const std::list< AspFluentRef > & | planCleaned, |
| std::list< AspFluentRef >::const_iterator | firstSuspect | ||
| ) | const |
Definition at line 186 of file IsNotLocallyOptimal.cpp.
const ActionSet& actasp::IsNotLocallyOptimal::allActions [private] |
Definition at line 44 of file IsNotLocallyOptimal.h.
PlanSet* actasp::IsNotLocallyOptimal::bad [private] |
Definition at line 43 of file IsNotLocallyOptimal.h.
const PlanSet* actasp::IsNotLocallyOptimal::good [private] |
Definition at line 42 of file IsNotLocallyOptimal.h.
bool actasp::IsNotLocallyOptimal::planFiltered [private] |
Definition at line 46 of file IsNotLocallyOptimal.h.
unsigned int actasp::IsNotLocallyOptimal::shortestLength [private] |
Definition at line 45 of file IsNotLocallyOptimal.h.