#include <Clingo3.h>

Inheritance diagram for actasp::Clingo3:

Public Member Functions
	Clingo3 (const std::string &incrementalVar, const std::string &queryDir, const std::string &domainDir, const ActionSet &actions, unsigned int max_time=0) throw ()
AnswerSet	currentStateQuery (const std::vector< actasp::AspRule > &query) const throw ()
std::list< actasp::AnswerSet >	genericQuery (const std::vector< actasp::AspRule > &query, unsigned int timestep, const std::string &fileName, unsigned int answerSetsNumber) const throw ()
std::list< std::list< AspAtom > >	genericQuery (const std::string &query, unsigned int timestep, const std::string &fileName, unsigned int answerSetsNumber) const throw ()
std::list< actasp::AnswerSet >	lengthRangePlanQuery (const std::vector< actasp::AspRule > &goalRules, bool filterActions, unsigned int min_plan_length, unsigned int max_plan_length, unsigned int answerset_number) const throw ()
std::list< actasp::AnswerSet >	minimalPlanQuery (const std::vector< actasp::AspRule > &goalRules, bool filterActions, unsigned int max_plan_length, unsigned int answerset_number) const throw ()
std::list< actasp::AnswerSet >	monitorQuery (const std::vector< actasp::AspRule > &goalRules, const AnswerSet &plan) const throw ()
void	setCurrentState (const std::set< actasp::AspFluent > &newState)
Private Member Functions
std::string	generatePlanQuery (std::vector< actasp::AspRule > goalRules, bool filterActions) const throw ()
std::list< actasp::AnswerSet >	genericQuery (const std::string &query, unsigned int initialTimeStep, unsigned int finalTimeStep, const std::string &fileName, unsigned int answerSetsNumber) const throw ()
std::string	makeQuery (const std::string &query, unsigned int initialTimeStep, unsigned int finalTimeStep, const std::string &fileName, unsigned int answerSetsNumber) const throw ()
Private Attributes
std::string	actionFilter
std::string	domainDir
std::string	incrementalVar
unsigned int	max_time
std::string	queryDir

Detailed Description

Definition at line 9 of file Clingo3.h.

Constructor & Destructor Documentation

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

Definition at line 21 of file Clingo3.cpp.

Member Function Documentation

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

Implements actasp::QueryGenerator.

Definition at line 235 of file Clingo3.cpp.

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

Definition at line 179 of file Clingo3.cpp.

std::list< actasp::AnswerSet > actasp::Clingo3::genericQuery	(	const std::vector< actasp::AspRule > &	query,
		unsigned int	timestep,
		const std::string &	fileName,
		unsigned int	answerSetsNumber
	)		const throw () `[virtual]`

Implements actasp::QueryGenerator.

Definition at line 241 of file Clingo3.cpp.

std::list< std::list< AspAtom > > actasp::Clingo3::genericQuery	(	const std::string &	query,
		unsigned int	timestep,
		const std::string &	fileName,
		unsigned int	answerSetsNumber
	)		const throw () `[virtual]`

Implements actasp::QueryGenerator.

Definition at line 324 of file Clingo3.cpp.

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

Definition at line 311 of file Clingo3.cpp.

std::list< actasp::AnswerSet > actasp::Clingo3::lengthRangePlanQuery	(	const std::vector< actasp::AspRule > &	goalRules,
		bool	filterActions,
		unsigned int	min_plan_length,
		unsigned int	max_plan_length,
		unsigned int	answerset_number
	)		const throw () `[virtual]`

Implements actasp::QueryGenerator.

Definition at line 216 of file Clingo3.cpp.

std::string actasp::Clingo3::makeQuery	(	const std::string &	query,
		unsigned int	initialTimeStep,
		unsigned int	finalTimeStep,
		const std::string &	fileName,
		unsigned int	answerSetsNumber
	)		const throw () `[private]`

Definition at line 274 of file Clingo3.cpp.

std::list< actasp::AnswerSet > actasp::Clingo3::minimalPlanQuery	(	const std::vector< actasp::AspRule > &	goalRules,
		bool	filterActions,
		unsigned int	max_plan_length,
		unsigned int	answerset_number
	)		const throw () `[virtual]`

Implements actasp::QueryGenerator.

Definition at line 194 of file Clingo3.cpp.

std::list< actasp::AnswerSet > actasp::Clingo3::monitorQuery	(	const std::vector< actasp::AspRule > &	goalRules,
		const AnswerSet &	plan
	)		const throw () `[virtual]`