Classes |
struct | Action |
struct | ActionComparator |
struct | ActionDeleter |
struct | ActionEquality |
struct | ActionExecutor |
struct | ActionMapDeepCopy |
struct | ActionMapDelete |
struct | ActionName |
struct | ActionSelector |
class | AnswerSet |
struct | AnswerSetRef |
struct | AnswerSetStateComparator |
struct | AnswerSetToList |
class | AnyPlan |
class | AspAtom |
class | AspFluent |
struct | AspFluentRef |
struct | AspKR |
struct | AspLaw |
struct | CleanPlan |
struct | Clingo3 |
struct | Clingo4_2 |
struct | ExecutionObserver |
struct | FilteringKR |
struct | FilteringQueryGenerator |
struct | FilteringReasoner |
struct | fluent2Rule |
struct | GraphPolicy |
struct | HasTimeStepZeroInHead4_2 |
struct | IsAnAction |
struct | IsNotLocallyOptimal |
struct | LexComparator |
struct | MaxTimeStepLessThan3 |
struct | MaxTimeStepLessThan4_2 |
struct | MergeActions |
struct | MultiPlanner |
class | MultiPolicy |
struct | NotifyActionStart |
struct | NotifyActionTermination |
struct | NotifyGoalChanged |
struct | NotifyNewPlan |
struct | PartialPolicy |
class | PartialPolicyExecutor |
struct | PlanLongerThan |
struct | Planner |
struct | PlanningObserver |
struct | PolicyMerger |
struct | QueryGenerator |
struct | Reasoner |
class | ReplanningActionExecutor |
class | RLActionExecutor |
struct | RuleToCumulativeString4_2 |
struct | RuleToGoalString4_2 |
struct | RuleToString3 |
struct | RuleToString4_2 |
struct | StateComparator |
struct | stateEquals |
struct | TimeStepComparator |
Typedefs |
typedef std::set< AspFluent,
ActionComparator > | ActionSet |
typedef AspLaw< AspFluent > | AspRule |
Functions |
ActionSet | actionMapToSet (const std::map< std::string, Action * > &actionMap) |
static string | aspString (const std::vector< actasp::AspRule > &query, const string &timeStepVar) |
static string | aspString (const std::vector< actasp::AspRule > &query, unsigned int timeStep) |
static void | clearPlan (std::list< actasp::Action * > &plan) |
static string | cumulativeString (const std::vector< actasp::AspRule > &query, const string &timeStepVar) |
static list< AnswerSet > | filterPlans (const list< AnswerSet > unfiltered_plans, const ActionSet &allActions) |
static Action * | instantiateAction (const std::map< std::string, Action * > &actionMap, const AspFluent &actionFluent) |
static std::list< AspFluent > | parseAnswerSet (const std::string &answerSetContent) throw () |
AnswerSet | planToAnswerSet (const std::list< Action * > &plan) |
static std::list
< actasp::AnswerSet > | readAnswerSets (const std::string &filePath) throw () |
static actasp::AnswerSet | readOptimalAnswerSet (const std::string &filePath, const bool minimum) throw () |