Classes | Functions
asp_formatter.cpp File Reference
#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.



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