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

Function Documentation

def translate.build_mutex_key	(	strips_to_sas,
		groups
	)

Definition at line 920 of file translate.py.

def translate.cartesian_product_temporal_conditions ( conds )

Expands disjunctive temporal conditions.

    Forms a disjunction as a list of temporal conditions (length 3 list)
    from a temporal condition where each entry is a disjunction as a list of
    conditions by applying the cartesian product.

Definition at line 525 of file translate.py.

def translate.implies	(	condition,
		condition_list,
		global_cond,
		temporal
	)

Definition at line 298 of file translate.py.

def translate.mutex_conditions	(	cond_dict,
		condition,
		temporal
	)

Definition at line 282 of file translate.py.

def translate.pddl_to_sas ( task )

Definition at line 865 of file translate.py.

def translate.strips_to_sas_dictionary	(	groups,
		num_axioms,
		num_axiom_map,
		num_fluents,
		modules
	)

Definition at line 31 of file translate.py.

def translate.translate_add_effects	(	add_effects,
		dictionary,
		mod_effects_dict,
		ranges,
		comp_axioms,
		temporal,
		true_atoms,
		false_atoms
	)

Definition at line 328 of file translate.py.

def translate.translate_assignment_effects	(	assign_effects,
		dictionary,
		ranges,
		comp_axioms,
		temporal,
		true_atoms,
		false_atoms
	)

Definition at line 440 of file translate.py.

def translate.translate_del_effects	(	del_effects,
		dictionary,
		ranges,
		effect,
		condition,
		comp_axioms,
		temporal,
		time,
		true_atoms,
		false_atoms
	)

Definition at line 374 of file translate.py.

def translate.translate_numeric_axiom	(	axiom,
		dictionary
	)

Definition at line 664 of file translate.py.

def translate.translate_operator_duration	(	duration,
		dictionary
	)

Definition at line 272 of file translate.py.

def translate.translate_strips_axiom	(	axiom,
		dictionary,
		ranges,
		comp_axioms
	)

Definition at line 649 of file translate.py.

def translate.translate_strips_axioms	(	axioms,
		strips_to_sas,
		ranges,
		comp_axioms
	)

Definition at line 696 of file translate.py.

def translate.translate_strips_conditions	(	conditions,
		dictionary,
		ranges,
		comp_axioms,
		temporal = `False`,
		true_atoms = `()`,
		false_atoms = `()`
	)

Translate (possibly temporal) strips conditions to a list of conditions.

If temporal, conditions is a list of (3) condition (lists).

Definition at line 93 of file translate.py.

def translate.translate_strips_conditions_aux	(	conditions,
		dictionary,
		ranges,
		comparison_axioms,
		true_atoms,
		false_atoms
	)

Translate a strips condition.

Translates the condition for a certain time point/period (at start, over
all or at end), not a full temporal condition. So conditions must
represent a conjunction of facts.

Returns a list of conditions - commonly just 1 entry, but negated
effects might result in a disjunction (represented as list) of multiple
conditions.

Definition at line 115 of file translate.py.

def translate.translate_strips_operator	(	operator,
		dictionary,
		mod_effects_dict,
		ranges,
		comp_axioms
	)

Definition at line 478 of file translate.py.

def translate.translate_strips_operators	(	actions,
		strips_to_sas,
		module_effects_to_sas,
		ranges,
		comp_axioms
	)

Definition at line 675 of file translate.py.

def translate.translate_task	(	strips_to_sas,
		module_effects_to_sas,
		ranges,
		init,
		goals,
		actions,
		durative_actions,
		axioms,
		num_axioms,
		num_axioms_by_layer,
		max_num_layer,
		num_axiom_map,
		const_num_axioms,
		oplinit,
		objects,
		modules,
		module_inits,
		subplan_generators,
		init_constant_predicates,
		init_constant_numerics
	)

Definition at line 705 of file translate.py.

def translate.translate_temporal_strips_operator	(	operator,
		dictionary,
		mod_effects_dict,
		ranges,
		comp_axioms,
		true_atoms,
		false_atoms
	)

Definition at line 626 of file translate.py.

def translate.translate_temporal_strips_operator_aux	(	operator,
		dictionary,
		mod_effects_dict,
		ranges,
		comp_axioms,
		condition,
		true_atoms,
		false_atoms
	)

Definition at line 537 of file translate.py.

def translate.translate_temporal_strips_operators	(	actions,
		strips_to_sas,
		module_effects_to_sas,
		ranges,
		comp_axioms,
		true_atoms,
		false_atoms
	)