Logo Search packages:      
Sourcecode: maude version File versions  Download package

Public Member Functions | Public Attributes | Private Member Functions | Static Private Member Functions

HashConsSet Class Reference

Inheritance diagram for HashConsSet:
Inheritance graph
Collaboration diagram for HashConsSet:
Collaboration graph

List of all members.

Public Member Functions

void collision (void *pointer1, unsigned int rawHashValue1, void *pointer2, unsigned int rawHashValue2, unsigned int tableSize, unsigned int disputedSlot) const
DagNodegetCanonical (int index) const
int insert (DagNode *d)
int insertCopy (DagNode *d)

Public Attributes

Int64 collisionCounter

Private Member Functions

int cardinality () const
bool contains (void *p) const
bool contains (void *p, unsigned int rawHashValue) const
bool contains (const PointerSet &other) const
bool disjoint (const PointerSet &other) const
bool empty () const
unsigned int hash (void *pointer) const
void * index2Pointer (int i) const
int insert (void *p)
int insert (void *p, unsigned int rawHashValue)
void insert (const PointerSet &other)
void intersect (const PointerSet &other)
bool isEqual (void *pointer1, void *pointer2) const
void link ()
void makeEmpty ()
void markReachableNodes ()
bool operator!= (const PointerSet &other) const
bool operator== (const PointerSet &other) const
int pointer2Index (void *p, unsigned int rawHashValue) const
int pointer2Index (void *p) const
void subtract (void *p, unsigned int rawHashValue)
void subtract (const PointerSet &other)
void subtract (void *p)
void swap (PointerSet &other)
void unlink ()

Static Private Member Functions

static void markPhase ()

Detailed Description

Definition at line 31 of file hashConsSet.hh.

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

Generated by  Doxygen 1.6.0   Back to index