|
OMTPlan: Optimal Planning Modulo Theories
|
Public Member Functions | |
| def | __init__ (self, rules) |
| def | unify (self, atom) |
| def | dump (self) |
Public Attributes | |
| predicate_to_rule_generator | |
Private Member Functions | |
| def | _insert_condition (self, rule, cond_index) |
1.8.11