OMTPlan: Optimal Planning Modulo Theories
Public Member Functions | Public Attributes | Private Member Functions | List of all members
translate.constraints.Assignment Class Reference
Inheritance diagram for translate.constraints.Assignment:
Inheritance graph
[legend]
Collaboration diagram for translate.constraints.Assignment:
Collaboration graph
[legend]

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)
 

The documentation for this class was generated from the following file: