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

Colorized PDDL translator output.

Browse Source
This commit is contained in:
Patrick Lühne
2016-06-14 16:38:41 +02:00
parent 0de2489440
commit 1b83708a6d
4 changed files with 145 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -33,12 +33,17 @@ class TranslatorASP
void translateInitialState() const;
void translateGoal() const;
void translateConstants(const std::string &header, const expressions::Constants &constants) const;
void translateConstants(const std::string &heading, 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;
void translatePredicate(const expressions::Predicate &predicate) const;
void printHeading1(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;
utils::LogStream &m_outputStream;
};

4
include/plasp/utils/Formatting.h
View File

@@ -52,7 +52,7 @@ struct Format
////////////////////////////////////////////////////////////////////////////////////////////////////
LogStream &operator<<(LogStream &stream, const Format &format)
inline LogStream &operator<<(LogStream &stream, const Format &format)
{
if (!stream.supportsColor())
return stream;
@@ -71,7 +71,7 @@ class ResetFormat
////////////////////////////////////////////////////////////////////////////////////////////////////
LogStream &operator<<(LogStream &stream, const ResetFormat &)
inline LogStream &operator<<(LogStream &stream, const ResetFormat &)
{
if (!stream.supportsColor())
return stream;

2
include/plasp/utils/LogStream.h
View File

@@ -244,7 +244,7 @@ LogStream &LogStream::operator<<(std::basic_ostream<CharacterType, TraitsType> &
////////////////////////////////////////////////////////////////////////////////////////////////////
template<class CharacterType, class Traits, class Allocator>
LogStream &operator<<(LogStream &stream, const std::basic_string<CharacterType, Traits, Allocator> &string)
inline LogStream &operator<<(LogStream &stream, const std::basic_string<CharacterType, Traits, Allocator> &string)
{
stream.ostream() << string;
return stream;