Patrick Lühne
b21b4f47bf
Previously, variables referenced within values were unpacked within values. This was inconsistent, because all predicates are usually used in their unpacked form in the rest of the output format. This commit makes this consistent by using variables in their packed form within values, making it more compact to handle them.
110 lines
3.0 KiB
C++
110 lines
3.0 KiB
C++
#ifndef __PLASP__PDDL__TRANSLATION__PREDICATE_H
|
|
#define __PLASP__PDDL__TRANSLATION__PREDICATE_H
|
|
|
|
#include <colorlog/Formatting.h>
|
|
|
|
#include <pddl/NormalizedAST.h>
|
|
#include <pddl/Parse.h>
|
|
|
|
#include <plasp/pddl/translation/Primitives.h>
|
|
#include <plasp/pddl/translation/Variables.h>
|
|
|
|
namespace plasp
|
|
{
|
|
namespace pddl
|
|
{
|
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// Predicate
|
|
//
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
void translatePredicate(colorlog::ColorStream &outputStream, const ::pddl::normalizedAST::Predicate &predicate);
|
|
void translatePredicateDeclaration(colorlog::ColorStream &outputStream, const ::pddl::normalizedAST::PredicateDeclaration &predicateDeclaration);
|
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
inline void translatePredicate(colorlog::ColorStream &outputStream, const ::pddl::normalizedAST::Predicate &predicate)
|
|
{
|
|
const auto &arguments = predicate.arguments;
|
|
|
|
if (arguments.empty())
|
|
{
|
|
outputStream << *predicate.declaration;
|
|
return;
|
|
}
|
|
|
|
outputStream << "(" << *predicate.declaration;
|
|
|
|
for (const auto &argument : arguments)
|
|
{
|
|
outputStream << ", ";
|
|
|
|
const auto handleConstant =
|
|
[&](const ::pddl::normalizedAST::ConstantPointer &constant)
|
|
{
|
|
outputStream << colorlog::Keyword("constant") << "(" << *constant << ")";
|
|
};
|
|
|
|
const auto handleVariable =
|
|
[&](const ::pddl::normalizedAST::VariablePointer &variable)
|
|
{
|
|
outputStream << *variable;
|
|
};
|
|
|
|
argument.match(handleConstant, handleVariable);
|
|
}
|
|
|
|
outputStream << ")";
|
|
}
|
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
inline void translatePredicateDeclaration(colorlog::ColorStream &outputStream, const ::pddl::normalizedAST::PredicateDeclaration &predicateDeclaration)
|
|
{
|
|
outputStream << colorlog::Keyword("variable") << "(";
|
|
|
|
if (predicateDeclaration.parameters.empty())
|
|
{
|
|
outputStream << predicateDeclaration << ")";
|
|
return;
|
|
}
|
|
|
|
outputStream << "(" << predicateDeclaration;
|
|
translateVariablesForRuleHead(outputStream, predicateDeclaration.parameters);
|
|
outputStream << "))";
|
|
}
|
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
void translatePredicateToVariable(colorlog::ColorStream &outputStream, const ::pddl::normalizedAST::Predicate &predicate, bool isPositive = true)
|
|
{
|
|
outputStream << colorlog::Keyword("variable") << "(";
|
|
|
|
translatePredicate(outputStream, predicate);
|
|
|
|
outputStream
|
|
<< "), "
|
|
<< colorlog::Keyword("value") << "("
|
|
<< colorlog::Keyword("variable") << "(";
|
|
|
|
translatePredicate(outputStream, predicate);
|
|
|
|
outputStream << "), ";
|
|
|
|
if (isPositive)
|
|
outputStream << colorlog::Boolean("true");
|
|
else
|
|
outputStream << colorlog::Boolean("false");
|
|
|
|
outputStream << ")";
|
|
}
|
|
|
|
////////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
}
|
|
}
|
|
|
|
#endif
|