Main Page | Namespace List | Class Hierarchy | Class List | File List | Class Members

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:
Generated on Mon Jun 21 01:20:50 2004 for cs2ccmb by doxygen 1.3.7