knowledge_reasoning.cpp File Reference

#include "actions/ActionFactory.h"
#include "actasp/reasoners/Reasoner.h"
#include <actasp/QueryGenerator.h>
#include <actasp/reasoners/Clingo4_2.h>
#include "actasp/action_utils.h"
#include "msgs_utils.h"
#include "bwi_kr_execution/UpdateFluents.h"
#include "bwi_kr_execution/CurrentStateQuery.h"
#include "bwi_kr_execution/ComputePlan.h"
#include "bwi_kr_execution/ComputeAllPlans.h"
#include "bwi_kr_execution/IsPlanValid.h"
#include <ros/ros.h>
#include <ros/package.h>
#include <std_srvs/Empty.h>
#include <boost/filesystem.hpp>

Include dependency graph for knowledge_reasoning.cpp:

Go to the source code of this file.

Functions
bool	computeAllPlans (bwi_kr_execution::ComputeAllPlans::Request &req, bwi_kr_execution::ComputeAllPlans::Response &res)
bool	computePlan (bwi_kr_execution::ComputePlan::Request &req, bwi_kr_execution::ComputePlan::Response &res)
bool	currentStateQuery (bwi_kr_execution::CurrentStateQuery::Request &req, bwi_kr_execution::CurrentStateQuery::Response &res) throw ()
bool	isPlanvalid (bwi_kr_execution::IsPlanValid::Request &req, bwi_kr_execution::IsPlanValid::Response &res)
int	main (int argc, char **argv)
const std::string	queryDirectory ("/tmp/bwi_kr_execution/")
bool	resetState (std_srvs::Empty::Request &, std_srvs::Empty::Response &)
bool	updateFluents (bwi_kr_execution::UpdateFluents::Request &req, bwi_kr_execution::UpdateFluents::Response &res) throw ()
Variables
const int	MAX_N = 20
actasp::AspKR *	reasoner

---

Function Documentation

bool computeAllPlans	(	bwi_kr_execution::ComputeAllPlans::Request &	req,
		bwi_kr_execution::ComputeAllPlans::Response &	res
	)

Definition at line 140 of file knowledge_reasoning.cpp.

bool computePlan	(	bwi_kr_execution::ComputePlan::Request &	req,
		bwi_kr_execution::ComputePlan::Response &	res
	)

Definition at line 126 of file knowledge_reasoning.cpp.

bool currentStateQuery	(	bwi_kr_execution::CurrentStateQuery::Request &	req,
		bwi_kr_execution::CurrentStateQuery::Response &	res
	)		throw ()

Definition at line 111 of file knowledge_reasoning.cpp.

bool isPlanvalid	(	bwi_kr_execution::IsPlanValid::Request &	req,
		bwi_kr_execution::IsPlanValid::Response &	res
	)

Definition at line 154 of file knowledge_reasoning.cpp.

int main	(	int	argc,
		char **	argv
	)

Definition at line 53 of file knowledge_reasoning.cpp.

const std::string queryDirectory

(

"/tmp/bwi_kr_execution/"

)

bool resetState	(	std_srvs::Empty::Request &	,
		std_srvs::Empty::Response &
	)

Definition at line 164 of file knowledge_reasoning.cpp.

bool updateFluents	(	bwi_kr_execution::UpdateFluents::Request &	req,
		bwi_kr_execution::UpdateFluents::Response &	res
	)		throw ()

Definition at line 100 of file knowledge_reasoning.cpp.

---

Variable Documentation

const int MAX_N = 20

Definition at line 28 of file knowledge_reasoning.cpp.

actasp::AspKR* reasoner

Definition at line 51 of file knowledge_reasoning.cpp.