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

Error for derived predicates in initial state. 

Previously, derived predicates in the initial state weren’t handled at
all. That’s not an issue, because derived predicates shouldn’t occur in
the initial state. However, as a defensive measure, this commit adds an
error thrown in such cases.
This commit is contained in:
Patrick Lühne 2017-10-27 16:27:33 +02:00
parent feaef5a3fa
commit 6415f871d7
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/plasp/pddl/TranslatorASP.cpp
View File

@ -456,8 +456,7 @@ void TranslatorASP::translateInitialState() const
const auto handleDerivedPredicate =
[&](const ::pddl::normalizedAST::DerivedPredicatePointer &, bool = true)
{
// TODO: implement
//translatePredicateToVariable(m_outputStream, *predicate, true);
throw TranslatorException("derived predicates should not occur in initial state");
};
const auto handleNegatedDerivedPredicate =