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

Handling untyped variables correctly in the PDDL translator.

Browse Source
This commit is contained in:
Patrick Lühne
2016-06-14 13:21:41 +02:00
parent e0dd9833a3
commit 39a32a6e0a
2 changed files with 37 additions and 62 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;