Public Member Functions | |
EqRel () | |
Create new equivalence relation. | |
void | addSingle (Object abstr, Object impl) |
Add single value entry. | |
void | addRange (Object value, Range r) |
Add equivalence class entry. | |
bool | equal (Object o1, Object o2) |
Return whether two values are related. | |
override string | ToString () |
Private Attributes | |
Hashtable | eq |
Stores the relation. |
|
Create new equivalence relation.
|
|
Add equivalence class entry.
|
|
Add single value entry.
|
|
Return whether two values are related. directly compare objects if no equivalence class exists |
|
|
|
Stores the relation. Maps Object to a List of Ranges to accomodate non-contiguous equivalence classes. |