translate.pddl.conditions.Atom Class Reference

Inheritance diagram for translate.pddl.conditions.Atom:

Collaboration diagram for translate.pddl.conditions.Atom:

Public Member Functions
def	to_untyped_strips (self)
def	instantiate (self, var_mapping, init_facts, fluent_facts, init_function_vals, fluent_functions, task, new_axiom, result)
def	negate (self)
def	positive (self)
Public Member Functions inherited from translate.pddl.conditions.Literal
def	__eq__ (self, other)
def	__init__ (self, predicate, args)
def	__str__ (self)
def	dump (self, indent=" ")
def	change_parts (self, parts)
def	uniquify_variables (self, type_map, renamings={})
def	rename_variables (self, renamings)
def	free_variables (self)
Public Member Functions inherited from translate.pddl.conditions.Condition
def	__init__ (self, parts)
def	__hash__ (self)
def	__ne__ (self, other)
def	dump (self, indent=" ")
def	simplified (self)
def	relaxed (self)
def	untyped (self)
def	uniquify_variables (self, type_map, renamings={})
def	to_untyped_strips (self)
def	instantiate (self, var_mapping, init_facts, fluent_facts, init_function_vals, fluent_functions, task, new_axiom, result)
def	free_variables (self)
def	has_disjunction (self)
def	has_existential_part (self)
def	has_universal_part (self)

Static Public Attributes
bool	negated = False
Static Public Attributes inherited from translate.pddl.conditions.Literal
list	parts = []

Additional Inherited Members
Public Attributes inherited from translate.pddl.conditions.Literal
	hash
	predicate
	args
Public Attributes inherited from translate.pddl.conditions.Condition
	parts
	hash

---

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

• translate/pddl/conditions.py