#include <Clingo.h>

Inheritance diagram for actasp::Clingo:

Public Member Functions
ActionSet	availableActions () const throw ()
	Clingo (unsigned int max_n, const std::string &incrementalVar, const std::string &queryDir, const std::string &domainDir, const ActionSet &actions, unsigned int max_time=0) throw ()
std::vector< AnswerSet >	computeAllPlans (const std::vector< actasp::AspRule > &goal, double suboptimality) const throw ()
AnswerSet	computePlan (const std::vector< actasp::AspRule > &goal) const throw ()
MultiPolicy	computePolicy (const std::vector< actasp::AspRule > &goal, double suboptimality) const throw (std::logic_error)
AnswerSet	currentStateQuery (const std::vector< actasp::AspRule > &query) const throw ()
bool	isPlanValid (const AnswerSet &plan, const std::vector< actasp::AspRule > &goal) const throw ()
std::list< std::list< AspAtom > >	query (const std::string &queryString, unsigned int initialTimeStep, unsigned int finalTimeStep) const throw ()
void	reset () throw ()
void	setMaxTimeStep (unsigned int max_n) throw ()
bool	updateFluents (const std::vector< actasp::AspFluent > &observations) throw ()
Private Member Functions
std::string	generatePlanQuery (const std::vector< actasp::AspRule > &goalRules, bool filterActions) const throw ()
std::list< actasp::AnswerSet >	krQuery (const std::string &query, unsigned int initialTimeStep, unsigned int finalTimeStep, const std::string &fileName, unsigned int answerSetsNumber) const throw ()
Private Attributes
std::string	actionFilter
ActionSet	allActions
std::string	domainDir
std::string	incrementalVar
unsigned int	max_n
unsigned int	max_time
std::string	queryDir

Detailed Description

Definition at line 19 of file Clingo.h.

Constructor & Destructor Documentation

actasp::Clingo::Clingo	(	unsigned int	max_n,
		const std::string &	incrementalVar,
		const std::string &	queryDir,
		const std::string &	domainDir,
		const ActionSet &	actions,
		unsigned int	max_time = `0`
	)		throw ()

Definition at line 32 of file Clingo.cpp.

Member Function Documentation

ActionSet actasp::Clingo::availableActions ( ) const throw () [virtual]

Implements actasp::AspKR.

Definition at line 226 of file Clingo.cpp.

std::vector< AnswerSet > actasp::Clingo::computeAllPlans	(	const std::vector< actasp::AspRule > &	goal,
		double	suboptimality
	)		const throw () `[virtual]`

Implements actasp::MultiPlanner.

Definition at line 505 of file Clingo.cpp.

AnswerSet actasp::Clingo::computePlan ( const std::vector< actasp::AspRule > & goal ) const throw () [virtual]

Implements actasp::Planner.

Definition at line 241 of file Clingo.cpp.

MultiPolicy actasp::Clingo::computePolicy	(	const std::vector< actasp::AspRule > &	goal,
		double	suboptimality
	)		const throw (std::logic_error) `[virtual]`

Implements actasp::MultiPlanner.

Definition at line 408 of file Clingo.cpp.

AnswerSet actasp::Clingo::currentStateQuery ( const std::vector< actasp::AspRule > & query ) const throw () [virtual]

Implements actasp::AspKR.

Definition at line 594 of file Clingo.cpp.

string actasp::Clingo::generatePlanQuery	(	const std::vector< actasp::AspRule > &	goalRules,
		bool	filterActions = `true`
	)		const throw () `[private]`

Definition at line 210 of file Clingo.cpp.

bool actasp::Clingo::isPlanValid	(	const AnswerSet &	plan,
		const std::vector< actasp::AspRule > &	goal
	)		const throw () `[virtual]`

Implements actasp::AspKR.

Definition at line 578 of file Clingo.cpp.

std::list< actasp::AnswerSet > actasp::Clingo::krQuery	(	const std::string &	query,
		unsigned int	initialTimeStep,
		unsigned int	finalTimeStep,
		const std::string &	fileName,
		unsigned int	answerSetsNumber = `1`
	)		const throw () `[private]`

Definition at line 170 of file Clingo.cpp.

std::list< std::list< AspAtom > > actasp::Clingo::query	(	const std::string &	queryString,
		unsigned int	initialTimeStep,
		unsigned int	finalTimeStep
	)		const throw () `[virtual]`