def visit_type(self, node):
"""Visits a PDDL type definition."""
# Store matching parent type in node
# (if none is given, it's always object)
if node.parent == None:
self.set_in(node, pddl.Type(node.name, 'object'))
else:
self.set_in(node, pddl.Type(node.name, node.parent))
def __init__(self):
self._types = dict()
self._predicates = dict()
self._nodeHash = dict()
self._requirements = set()
self._actions = dict()
self.domain = None
self._objectType = pddl.Type('object', None)
self._constants = dict()
