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 |
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 | |||
) |
Definition at line 684 of file translate.py.
def translate.unsolvable_sas_task | ( | msg | ) |
Definition at line 841 of file translate.py.
def translate.write_mutex_key | ( | mutex_key | ) |
Definition at line 946 of file translate.py.
def translate.write_translation_key | ( | strips_to_sas | ) |
Definition at line 933 of file translate.py.
Definition at line 26 of file translate.py.
tuple translate::sas_task = pddl_to_sas(task) |
Definition at line 996 of file translate.py.
tuple translate::task = pddl.open() |
Definition at line 981 of file translate.py.
Definition at line 27 of file translate.py.
Definition at line 29 of file translate.py.
translate::WRITE_ALL_MUTEXES = True |
Definition at line 28 of file translate.py.