typedef std::set<AspFluent, ActionComparator> actasp::ActionSet |
Definition at line 65 of file AspFluent.h.
typedef AspLaw<AspFluent> actasp::AspRule |
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.