translate.pddl.conditions.FunctionTerm Class Reference

Inheritance diagram for translate.pddl.conditions.FunctionTerm:

Collaboration diagram for translate.pddl.conditions.FunctionTerm:

Public Member Functions
def	__init__ (self, name, args=[])
def	__str__ (self)
def	compile_objectfunctions_aux (self, used_variables, recurse_object_terms=True)
Public Member Functions inherited from translate.pddl.conditions.Term
def	dump (self, indent=" ")
def	__eq__ (self, other)
def	uniquify_variables (self, type_map, renamings={})
def	compile_objectfunctions_aux (self, used_variables, recurse_object_terms=True)
def	rename_variables (self, renamings)
def	free_variables (self)

Public Attributes
	name
	args
Public Attributes inherited from translate.pddl.conditions.Term
	args

Static Public Attributes
list	typed_vars = []
list	conjunction_parts = []
list	new_args = []
	typed
	parts
	new_term
string	new_var_name = "?v"
	new_var = Variable(new_var_name)
	pred_name = function_predicate_name(self.name)
	atom = Atom(pred_name,new_args)

---

The documentation for this class was generated from the following file:

• translate/pddl/conditions.py