CCM::EqRel Class Reference

List of all members.

---

Detailed Description

Equivalence relation for a single value.

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.

---

Constructor & Destructor Documentation

CCM::EqRel::EqRel (   )

Create new equivalence relation.

---

Member Function Documentation

void CCM::EqRel::addRange (  Object  value, Range  r )

Add equivalence class entry. Parameters: value  Abstract value r  equivalence class that val abstracts

void CCM::EqRel::addSingle (  Object  abstr, Object  impl )

Add single value entry. Parameters: abstr  Abstract value impl  Equivalent implementation value

bool CCM::EqRel::equal (  Object  o1, Object  o2 )

Return whether two values are related. directly compare objects if no equivalence class exists

override string CCM::EqRel::ToString (   )

---

Member Data Documentation

Hashtable CCM::EqRel::eq [private]

Stores the relation. Maps Object to a List of Ranges to accomodate non-contiguous equivalence classes.

---

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

• eqrel.cs

---