00001 import pddl_types 00002 00003 class Predicate(object): 00004 def __init__(self, name, arguments): 00005 self.name = name 00006 self.arguments = arguments 00007 def parse(alist): 00008 name = alist[0] 00009 arguments = pddl_types.parse_typed_list(alist[1:], only_variables=True) 00010 return Predicate(name, arguments) 00011 parse = staticmethod(parse) 00012 def __str__(self): 00013 return "%s(%s)" % (self.name, ", ".join(map(str, self.arguments))) 00014
