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

Added transitive deduction of object types to PDDL translation.

This commit is contained in:
Patrick Lühne 2016-06-13 03:22:04 +02:00
parent 23f6f9b26b
commit e07672ffe6
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -194,6 +194,7 @@ void TranslatorASP::translateTypes() const
[&](const auto &parentType)
{
m_ostream << "inherits(type(" << type->name() << "), type(" << parentType->name() << "))." << std::endl;
m_ostream << "hasType(X, type(" << parentType->name() << ")) :- hasType(X, type(" << type->name() << "))." << std::endl;
});
});
}