#include <actasp/reasoners/Clingo4_2.h>#include <actasp/AspRule.h>#include <actasp/AnswerSet.h>#include <actasp/AspAtom.h>#include <actasp/action_utils.h>#include <algorithm>#include <iterator>#include <sstream>#include <fstream>#include <cstdlib>#include <iostream>#include <limits>
Include dependency graph for Clingo4_2.cpp:
Go to the source code of this file.
Classes | |
| struct | actasp::HasTimeStepZeroInHead4_2 |
| struct | actasp::MaxTimeStepLessThan4_2 |
| struct | actasp::RuleToCumulativeString4_2 |
| struct | actasp::RuleToGoalString4_2 |
| struct | actasp::RuleToString4_2 |
Namespaces | |
| namespace | actasp |
Defines | |
| #define | CURRENT_STATE_FILE std::string("/tmp/current.asp") |
Functions | |
| static string | actasp::aspString (const std::vector< actasp::AspRule > &query, const string &timeStepVar) |
| static string | actasp::aspString (const std::vector< actasp::AspRule > &query, unsigned int timeStep) |
| static string | actasp::cumulativeString (const std::vector< actasp::AspRule > &query, const string &timeStepVar) |
| static list< AnswerSet > | actasp::filterPlans (const list< AnswerSet > unfiltered_plans, const ActionSet &allActions) |
| static std::list< AspFluent > | actasp::parseAnswerSet (const std::string &answerSetContent) throw () |
| static std::list < actasp::AnswerSet > | actasp::readAnswerSets (const std::string &filePath) throw () |
| static actasp::AnswerSet | actasp::readOptimalAnswerSet (const std::string &filePath, const bool minimum) throw () |
Define Documentation
| #define CURRENT_STATE_FILE std::string("/tmp/current.asp") |
Definition at line 16 of file Clingo4_2.cpp.