|
|
def | __init__ (self) |
| |
|
def | register_variable (self, old_domain_size, init_value, new_domain) |
| |
|
def | apply_to_task (self, task) |
| |
|
def | apply_to_variables (self, variables) |
| |
|
def | apply_to_init (self, init) |
| |
|
def | apply_to_goals (self, goals) |
| |
|
def | apply_to_operators (self, operators) |
| |
|
def | apply_to_axioms (self, axioms) |
| |
|
def | apply_to_operator (self, op) |
| |
|
def | apply_to_axiom (self, axiom) |
| |
|
def | translate_pre_post (self, var_no, pre, post, cond) |
| |
|
def | translate_pair (self, var_no, value) |
| |
|
def | translate_pairs_in_place (self, pairs) |
| |
|
def | apply_to_translation_key (self, translation_key) |
| |
|
def | apply_to_mutex_key (self, mutex_key) |
| |
|
|
| new_var_nos |
| |
|
| new_values |
| |
|
| new_sizes |
| |
|
| new_var_count |
| |
|
| num_removed_values |
| |
The documentation for this class was generated from the following file:
1.8.11
