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

Removed deleted methods.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-14 17:06:07 +02:00
parent 9969281b11
commit 583ec78eef
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -41,8 +41,6 @@ class TranslatorASP
void printHeading1(const std::string &heading) const; void printHeading1(const std::string &heading) const;
void printHeading2(const std::string &heading) const; void printHeading2(const std::string &heading) const;
void printKeyword(const std::string &keyword) const;
void printVariable(const std::string &variable) const;
const Description &m_description; const Description &m_description;
utils::LogStream &m_outputStream; utils::LogStream &m_outputStream;