Functions | Variables
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::AspKRreasoner

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.

Definition at line 51 of file knowledge_reasoning.cpp.



bwi_kr_execution
Author(s): Matteo Leonetti, Piyush Khandelwal
autogenerated on Thu Jun 6 2019 17:57:37