patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Merge branch 'master' of github.com:potassco/plasp into colored-output

Browse Source
This commit is contained in:
Patrick Lühne
2016-06-14 14:59:23 +02:00
parent 342a346fce a23063fd4f
commit fd77b65226
3 changed files with 39 additions and 71 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
include/plasp/pddl/TranslatorASP.h
View File

@@ -26,15 +26,14 @@ class TranslatorASP
private:
void translateDomain() const;
void translateTypes() const;
void translateConstants() const;
void translatePredicates() const;
void translateActions() const;
void translateProblem() const;
void translateObjects() const;
void translateInitialState() const;
void translateGoal() const;
void translateConstants(const std::string &header, const expressions::Constants &constants) const;
void translateVariablesHead(const expressions::Variables &variables) const;
void translateVariablesBody(const expressions::Variables &variables) const;
void translateLiteral(const Expression &literal) const;