|
OMTPlan: Optimal Planning Modulo Theories
|


Public Member Functions | |
| def | __init__ (self, equalities) |
| def | __str__ (self) |
| def | is_consistent (self) |
| def | get_mapping (self) |
Public Attributes | |
| equalities | |
| consistent | |
| mapping | |
| eq_classes | |
Private Member Functions | |
| def | _compute_equivalence_classes (self) |
| def | _compute_mapping (self) |
1.8.11