Functions | |
| def | compute_axiom_layers |
| def | compute_constant_axioms |
| def | compute_necessary_axiom_literals |
| def | compute_negative_axioms |
| def | get_axiom_init |
| def | get_axioms_by_atom |
| def | handle_axioms |
| def | negate |
| def | remove_duplicates |
| def | simplify |
| def | simplify_axioms |
| def axiom_rules.compute_axiom_layers | ( | axioms, | |
| axiom_init | |||
| ) |
Definition at line 45 of file axiom_rules.py.
| def axiom_rules.compute_constant_axioms | ( | axioms | ) |
Computes which axioms always evaluate to the same constant values
Definition at line 190 of file axiom_rules.py.
| def axiom_rules.compute_necessary_axiom_literals | ( | axioms_by_atom, | |
| operators, | |||
| durative_operators, | |||
| goal | |||
| ) |
Definition at line 92 of file axiom_rules.py.
| def axiom_rules.compute_negative_axioms | ( | axioms_by_atom, | |
| necessary_literals | |||
| ) |
Definition at line 250 of file axiom_rules.py.
| def axiom_rules.get_axiom_init | ( | axioms_by_atom, | |
| necessary_literals | |||
| ) |
Definition at line 134 of file axiom_rules.py.
| def axiom_rules.get_axioms_by_atom | ( | axioms | ) |
Definition at line 39 of file axiom_rules.py.
| def axiom_rules.handle_axioms | ( | operators, | |
| durative_operators, | |||
| axioms, | |||
| goals | |||
| ) |
Definition at line 6 of file axiom_rules.py.
| def axiom_rules.negate | ( | axioms | ) |
Definition at line 259 of file axiom_rules.py.
| def axiom_rules.remove_duplicates | ( | alist | ) |
Definition at line 152 of file axiom_rules.py.
| def axiom_rules.simplify | ( | axioms | ) |
Remove duplicate axioms, duplicates within axioms, and dominated axioms.
Definition at line 160 of file axiom_rules.py.
| def axiom_rules.simplify_axioms | ( | axioms_by_atom, | |
| necessary_literals | |||
| ) |
Definition at line 143 of file axiom_rules.py.