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) |