translate.py File Reference

Go to the source code of this file.

Namespaces
namespace	translate
Functions
def	translate.build_mutex_key
def	translate.cartesian_product_temporal_conditions
def	translate.implies
def	translate.mutex_conditions
def	translate.pddl_to_sas
def	translate.strips_to_sas_dictionary
def	translate.translate_add_effects
def	translate.translate_assignment_effects
def	translate.translate_del_effects
def	translate.translate_numeric_axiom
def	translate.translate_operator_duration
def	translate.translate_strips_axiom
def	translate.translate_strips_axioms
def	translate.translate_strips_conditions
def	translate.translate_strips_conditions_aux
def	translate.translate_strips_operator
def	translate.translate_strips_operators
def	translate.translate_task
def	translate.translate_temporal_strips_operator
def	translate.translate_temporal_strips_operator_aux
def	translate.translate_temporal_strips_operators
def	translate.unsolvable_sas_task
def	translate.write_mutex_key
def	translate.write_translation_key
Variables
	translate.ALLOW_CONFLICTING_EFFECTS = False
tuple	translate.sas_task = pddl_to_sas(task)
tuple	translate.task = pddl.open()
	translate.USE_PARTIAL_ENCODING = True
	translate.USE_SAFE_INVARIANT_SYNTHESIS = True
	translate.WRITE_ALL_MUTEXES = True