#include <actasp/reasoners/Clingo.h>#include "IsNotLocallyOptimal.h"#include "LexComparator.h"#include <actasp/AnswerSet.h>#include <actasp/action_utils.h>#include <actasp/Action.h>#include <ctime>#include <sstream>#include <ostream>#include <iterator>#include <algorithm>#include <fstream>#include <cmath>#include <iostream>
Include dependency graph for Clingo.cpp:
Go to the source code of this file.
Classes | |
| struct | actasp::AnswerSetRef |
| struct | actasp::AnswerSetToList |
| struct | actasp::CleanPlan |
| struct | actasp::IsNotLocallyOptimalSubPlanCheck |
| struct | actasp::IsSubSequence |
| struct | actasp::ListToAnswerSet |
| struct | actasp::PlanLongerThan |
| struct | actasp::PolicyMerger |
| struct | actasp::RuleToString |
Namespaces | |
| namespace | actasp |
Defines | |
| #define | CURRENT_FILE_HOME std::string("/tmp/") |
| #define | CURRENT_STATE_FILE std::string("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 AspRule | actasp::fluent2Rule (const AspFluent &fluent) |
| static std::list< AspFluent > | actasp::parseAnswerSet (const std::string &answerSetContent) |
| static std::list < actasp::AnswerSet > | actasp::readAnswerSets (const std::string &filePath) |
Define Documentation
| #define CURRENT_FILE_HOME std::string("/tmp/") |
Definition at line 22 of file Clingo.cpp.
| #define CURRENT_STATE_FILE std::string("current.asp") |
Definition at line 23 of file Clingo.cpp.