Classes | Typedefs | Functions
actasp Namespace Reference

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< AspFluentAspRule

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< AnswerSetfilterPlans (const list< AnswerSet > unfiltered_plans, const ActionSet &allActions)
static ActioninstantiateAction (const std::map< std::string, Action * > &actionMap, const AspFluent &actionFluent)
static std::list< AspFluentparseAnswerSet (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 ()

Typedef Documentation

Definition at line 65 of file AspFluent.h.

Definition at line 11 of file AspRule.h.


Function Documentation

ActionSet actasp::actionMapToSet ( const std::map< std::string, Action * > &  actionMap)

Definition at line 39 of file action_utils.cpp.

static string actasp::aspString ( const std::vector< actasp::AspRule > &  query,
const string &  timeStepVar 
) [static]

Definition at line 114 of file Clingo3.cpp.

static string actasp::aspString ( const std::vector< actasp::AspRule > &  query,
unsigned int  timeStep 
) [static]

Definition at line 121 of file Clingo3.cpp.

static void actasp::clearPlan ( std::list< actasp::Action * > &  plan) [static]

Definition at line 28 of file AnswerSet.cpp.

static string actasp::cumulativeString ( const std::vector< actasp::AspRule > &  query,
const string &  timeStepVar 
) [static]

Definition at line 225 of file Clingo4_2.cpp.

static list<AnswerSet> actasp::filterPlans ( const list< AnswerSet >  unfiltered_plans,
const ActionSet &  allActions 
) [static]

Definition at line 366 of file Clingo4_2.cpp.

static Action * actasp::instantiateAction ( const std::map< std::string, Action * > &  actionMap,
const AspFluent &  actionFluent 
) [static]

Definition at line 76 of file PartialPolicyExecutor.cpp.

static std::list<AspFluent> actasp::parseAnswerSet ( const std::string &  answerSetContent) throw () [static]

Definition at line 129 of file Clingo3.cpp.

AnswerSet actasp::planToAnswerSet ( const std::list< Action * > &  plan)

Definition at line 27 of file action_utils.cpp.

static std::list<actasp::AnswerSet> actasp::readAnswerSets ( const std::string &  filePath) throw () [static]

Definition at line 144 of file Clingo3.cpp.

static actasp::AnswerSet actasp::readOptimalAnswerSet ( const std::string &  filePath,
const bool  minimum 
) throw () [static]

Definition at line 299 of file Clingo4_2.cpp.



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