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 ()

Typedef Documentation

typedef std::set<AspFluent, ActionComparator> actasp::ActionSet

Definition at line 65 of file AspFluent.h.

typedef AspLaw<AspFluent> actasp::AspRule

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.

Classes

Typedefs

Functions

Typedef Documentation

Function Documentation