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	AnswerSetToList
class	AnyPlan
class	AspAtom
class	AspFluent
struct	AspFluentRef
struct	AspKR
struct	AspRule
struct	CleanPlan
class	Clingo
struct	ExecutionObserver
struct	IsAnAction
struct	IsNotLocallyOptimal
struct	IsNotLocallyOptimalSubPlanCheck
struct	IsSubSequence
struct	LexComparator
struct	ListToAnswerSet
struct	MergeActions
struct	MultiPlanner
class	MultiPolicy
class	MultiPolicyExecutor
struct	NotifyActionStart
struct	NotifyActionTermination
struct	NotifyNewPlan
struct	PlanLongerThan
struct	Planner
struct	PlanningObserver
struct	PolicyMerger
class	ReplanningActionExecutor
struct	RuleToString
struct	StateComparator
struct	TimeStepComparator
Typedefs
typedef std::set< AspFluent, ActionComparator >	ActionSet
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 AspRule	fluent2Rule (const AspFluent &fluent)
static Action *	instantiateAction (const std::map< std::string, Action * > &actionMap, const AspFluent &actionFluent)
static std::list< AspFluent >	parseAnswerSet (const std::string &answerSetContent)
AnswerSet	planToAnswerSet (const std::list< Action * > &plan)
static std::list < actasp::AnswerSet >	readAnswerSets (const std::string &filePath)

---

Typedef Documentation

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

Definition at line 65 of file AspFluent.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 111 of file Clingo.cpp.

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

Definition at line 118 of file Clingo.cpp.

static void actasp::clearPlan

(

std::list< actasp::Action * > &

plan

)

[static]

Definition at line 28 of file AnswerSet.cpp.

static AspRule actasp::fluent2Rule

(

const AspFluent &

fluent

)

[static]

Definition at line 601 of file Clingo.cpp.

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

Definition at line 68 of file MultiPolicyExecutor.cpp.

static std::list<AspFluent> actasp::parseAnswerSet

(

const std::string &

answerSetContent

)

[static]

Definition at line 126 of file Clingo.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

)

[static]

Definition at line 141 of file Clingo.cpp.