Public Types | Public Member Functions | Private Attributes
actasp::IsNotLocallyOptimal Struct Reference

#include <IsNotLocallyOptimal.h>

List of all members.

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< AspFluentRefcleanPlan (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 ActionSetallActions
PlanSetbad
const PlanSetgood
bool planFiltered
unsigned int shortestLength

Detailed Description

Definition at line 16 of file IsNotLocallyOptimal.h.


Member Typedef Documentation

Definition at line 18 of file IsNotLocallyOptimal.h.


Constructor & Destructor Documentation

actasp::IsNotLocallyOptimal::IsNotLocallyOptimal ( const PlanSet good,
PlanSet bad,
const ActionSet allActions,
unsigned int  shortestLength,
bool  planFitered 
)

Definition at line 16 of file IsNotLocallyOptimal.cpp.


Member Function Documentation

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.

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.


Member Data Documentation

Definition at line 44 of file IsNotLocallyOptimal.h.

Definition at line 43 of file IsNotLocallyOptimal.h.

Definition at line 42 of file IsNotLocallyOptimal.h.

Definition at line 46 of file IsNotLocallyOptimal.h.

Definition at line 45 of file IsNotLocallyOptimal.h.


The documentation for this struct was generated from the following files:


bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37