#include <Clingo4_2.h>

Inheritance diagram for actasp::Clingo4_2:

Public Member Functions
	Clingo4_2 (const std::string &incrementalVar, const std::string &queryDir, const std::string &domainDir, const ActionSet &actions, unsigned int max_time=0) throw ()
	Clingo4_2 (const std::string &incrementalVar, const std::string &queryDir, const std::string &domainDir, const ActionSet &actions, const std::string &currentFilePath, unsigned int max_time=0) throw ()
AnswerSet	currentStateQuery (const std::vector< actasp::AspRule > &query) const throw ()
std::list< actasp::AnswerSet >	filteringQuery (const AnswerSet &currentState, const AnswerSet &plan, const std::vector< actasp::AspRule > &goals)
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 ()
actasp::AnswerSet	optimalPlanQuery (const std::vector< actasp::AspRule > &goalRules, bool filterActions, unsigned int max_plan_length, unsigned int answerset_number, bool minimum) const throw ()
void	setCurrentState (const std::set< actasp::AspFluent > &newState)
Private Member Functions
std::string	generateMonitorQuery (const std::vector< actasp::AspRule > &goalRules, const AnswerSet &plan) const throw ()
std::string	generatePlanQuery (std::vector< actasp::AspRule > goalRules) const throw ()
std::list< actasp::AnswerSet >	genericQuery (const std::string &query, unsigned int initialTimeStep, unsigned int finalTimeStep, const std::string &fileName, unsigned int answerSetsNumber, bool useCurrentState) const throw ()
std::string	makeQuery (const std::string &query, unsigned int initialTimeStep, unsigned int finalTimeStep, const std::string &fileName, unsigned int answerSetsNumber, bool useCurrentState) const throw ()
Private Attributes
ActionSet	allActions
std::string	currentFilePath
std::string	domainDir
std::string	incrementalVar
unsigned int	max_time
std::string	queryDir

Detailed Description

Definition at line 9 of file Clingo4_2.h.

Constructor & Destructor Documentation

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

Definition at line 22 of file Clingo4_2.cpp.

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

Definition at line 56 of file Clingo4_2.cpp.

Member Function Documentation

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

Implements actasp::QueryGenerator.

Definition at line 453 of file Clingo4_2.cpp.

std::list< actasp::AnswerSet > actasp::Clingo4_2::filteringQuery	(	const AnswerSet &	currentState,
		const AnswerSet &	plan,
		const std::vector< actasp::AspRule > &	goals
	)		`[virtual]`

Implements actasp::FilteringQueryGenerator.

Definition at line 654 of file Clingo4_2.cpp.

std::string actasp::Clingo4_2::generateMonitorQuery	(	const std::vector< actasp::AspRule > &	goalRules,
		const AnswerSet &	plan
	)		const throw () `[private]`

Definition at line 494 of file Clingo4_2.cpp.

string actasp::Clingo4_2::generatePlanQuery ( std::vector< actasp::AspRule > goalRules ) const throw () [private]

Definition at line 352 of file Clingo4_2.cpp.

std::list< actasp::AnswerSet > actasp::Clingo4_2::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 470 of file Clingo4_2.cpp.

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

Implements actasp::QueryGenerator.

Definition at line 598 of file Clingo4_2.cpp.

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

Definition at line 584 of file Clingo4_2.cpp.

std::list< actasp::AnswerSet > actasp::Clingo4_2::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 408 of file Clingo4_2.cpp.

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

Definition at line 537 of file Clingo4_2.cpp.

std::list< actasp::AnswerSet > actasp::Clingo4_2::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 381 of file Clingo4_2.cpp.

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

Implements actasp::QueryGenerator.

Definition at line 520 of file Clingo4_2.cpp.

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