translate.pddl.f_expression.Quotient Class Reference

Inheritance diagram for translate.pddl.f_expression.Quotient:

Collaboration diagram for translate.pddl.f_expression.Quotient:

Public Member Functions
def	__init__ (self, parts)
Public Member Functions inherited from translate.pddl.f_expression.ArithmeticExpression
def	__eq__ (self, other)
def	rename_variables (self, renamings={})
def	change_parts (self, parts)
def	remove_duration_variable (self, action, time, duration, pnes)
Public Member Functions inherited from translate.pddl.f_expression.FunctionalExpression
def	__init__ (self, parts)
def	__hash__ (self)
def	__ne__ (self, other)
def	free_variables (self)
def	dump (self, indent=" ")
def	primitive_numeric_expressions (self)
def	compile_objectfunctions_aux (self, used_variables, recurse_object_terms=True)
def	instantiate (self, var_mapping, fluent_functions, init_function_vals, task, new_axioms=[])

Static Public Attributes
string	op = "/"

Private Member Functions
def	_simplified (self, parts)

Additional Inherited Members
Public Attributes inherited from translate.pddl.f_expression.ArithmeticExpression
	hash
	parts
Public Attributes inherited from translate.pddl.f_expression.FunctionalExpression
	parts
	hash

---

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

• translate/pddl/f_expression.py