#include "actasp/AnswerSet.h"#include <actasp/Action.h>#include <iostream>#include <vector>#include <sstream>#include <algorithm>#include <iterator>
Include dependency graph for asp_formatter.cpp:
Go to the source code of this file.
Classes | |
| struct | CreateFluent |
| struct | DeleteAction |
| class | SimpleAction |
Functions | |
| int | main () |
| static std::set < actasp::AspFluent > | parseAnswerSet (const std::string &answerSetContent) |
| static std::vector < actasp::AnswerSet > | readAnswerSets (istream &input) |
Function Documentation
| int main | ( | ) |
Definition at line 129 of file asp_formatter.cpp.
| static std::set<actasp::AspFluent> parseAnswerSet | ( | const std::string & | answerSetContent | ) | [static] |
Definition at line 75 of file asp_formatter.cpp.
| static std::vector<actasp::AnswerSet> readAnswerSets | ( | istream & | input | ) | [static] |
Definition at line 91 of file asp_formatter.cpp.