Public Member Functions | Public Attributes | Private Member Functions
constraints.Assignment Class Reference

List of all members.

Public Member Functions

def __init__
def __str__
def get_mapping
def is_consistent

Public Attributes

 consistent
 eq_classes
 equalities
 mapping

Private Member Functions

def _compute_equivalence_classes
def _compute_mapping

Detailed Description

Definition at line 29 of file constraints.py.


Constructor & Destructor Documentation

def constraints.Assignment.__init__ (   self,
  equalities 
)

Definition at line 30 of file constraints.py.


Member Function Documentation

Definition at line 39 of file constraints.py.

Definition at line 44 of file constraints.py.

def constraints.Assignment._compute_mapping (   self) [private]

Definition at line 57 of file constraints.py.

Definition at line 88 of file constraints.py.

Definition at line 83 of file constraints.py.


Member Data Documentation

Definition at line 30 of file constraints.py.

Definition at line 30 of file constraints.py.

Definition at line 30 of file constraints.py.

Definition at line 30 of file constraints.py.


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


tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06