Public Member Functions | |
| def | add_effect_temporarily_unbalanced |
| def | add_effect_unbalanced |
| def | check_balance |
| def | conditions_require_weight_1 |
| def | get_covering_assignments |
| def | imply_del_effect |
| def | lhs_satisfiable |
| def | minimal_covering_renamings |
| def | operator_too_heavy |
| def | operator_unbalanced |
| def | refine_candidate |
| def | temp_unbalanced_renamings |
| def | unbalanced_renamings |
Definition at line 220 of file invariants.py.
| def invariants.SafeInvariant.add_effect_temporarily_unbalanced | ( | self, | |
| action, | |||
| add_effect, | |||
| start_del_effects, | |||
| inv_vars | |||
| ) |
at-end add effect has corresponding at-start del effect, so it could be balanced if no other action interferes
Definition at line 374 of file invariants.py.
| def invariants.SafeInvariant.add_effect_unbalanced | ( | self, | |
| action, | |||
| add_effect, | |||
| del_effects, | |||
| inv_vars, | |||
| time | |||
| ) |
Definition at line 350 of file invariants.py.
| def invariants.SafeInvariant.check_balance | ( | self, | |
| balance_checker, | |||
| enqueue_func | |||
| ) |
Definition at line 227 of file invariants.py.
| def invariants.SafeInvariant.conditions_require_weight_1 | ( | self, | |
| action, | |||
| add_effect | |||
| ) |
Definition at line 479 of file invariants.py.
| def invariants.SafeInvariant.get_covering_assignments | ( | self, | |
| parameters, | |||
| atom | |||
| ) |
Definition at line 221 of file invariants.py.
| def invariants.SafeInvariant.imply_del_effect | ( | self, | |
| del_effect, | |||
| lhs_by_pred, | |||
| time | |||
| ) |
returns a constraint system that is solvable if lhs implies the del effect (only if lhs is satisfiable). If a solvable lhs never implies the del effect, return None.
Definition at line 457 of file invariants.py.
| def invariants.SafeInvariant.lhs_satisfiable | ( | self, | |
| renaming, | |||
| lhs_by_pred | |||
| ) |
Definition at line 452 of file invariants.py.
| def invariants.SafeInvariant.minimal_covering_renamings | ( | self, | |
| action, | |||
| add_effect, | |||
| inv_vars | |||
| ) |
computes the minimal renamings of the action parameters such that the add effect is covered by the action. Each renaming is an constraint system
Definition at line 326 of file invariants.py.
| def invariants.SafeInvariant.operator_too_heavy | ( | self, | |
| h_action | |||
| ) |
Definition at line 262 of file invariants.py.
| def invariants.SafeInvariant.operator_unbalanced | ( | self, | |
| action, | |||
| temp_unbalanced_actions | |||
| ) |
Definition at line 289 of file invariants.py.
| def invariants.SafeInvariant.refine_candidate | ( | self, | |
| add_effect, | |||
| action, | |||
| time | |||
| ) |
refines the candidate for an add effect that is unbalanced in the action and adds the refined one to the queue
Definition at line 395 of file invariants.py.
| def invariants.SafeInvariant.temp_unbalanced_renamings | ( | self, | |
| del_effect, | |||
| add_effect, | |||
| inv_vars, | |||
| lhs_by_pred, | |||
| unbalanced_renamings | |||
| ) |
returns the renamings from unbalanced renamings for which the start_del_effect does not balance the end_add_effect.
Definition at line 409 of file invariants.py.
| def invariants.SafeInvariant.unbalanced_renamings | ( | self, | |
| del_effect, | |||
| add_effect, | |||
| inv_vars, | |||
| lhs_by_pred, | |||
| time, | |||
| unbalanced_renamings | |||
| ) |
returns the renamings from unbalanced renamings for which the del_effect does not balance the add_effect.
Definition at line 430 of file invariants.py.
