Clingo3.cpp File Reference

#include <actasp/reasoners/Clingo3.h>
#include <actasp/AspRule.h>
#include <actasp/AnswerSet.h>
#include <actasp/AspAtom.h>
#include <algorithm>
#include <iterator>
#include <sstream>
#include <fstream>
#include <cstdlib>
#include <iostream>

Include dependency graph for Clingo3.cpp:

Go to the source code of this file.

Classes
struct	actasp::MaxTimeStepLessThan3
struct	actasp::RuleToString3
Namespaces
namespace	actasp
Defines
#define	CURRENT_FILE_HOME   queryDir
#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 std::list< AspFluent >	actasp::parseAnswerSet (const std::string &answerSetContent) throw ()
static std::list < actasp::AnswerSet >	actasp::readAnswerSets (const std::string &filePath) throw ()

---

Define Documentation

#define CURRENT_FILE_HOME   queryDir

Definition at line 14 of file Clingo3.cpp.

#define CURRENT_STATE_FILE   std::string("current.asp")

Definition at line 15 of file Clingo3.cpp.