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

Public Member Functions | Private Member Functions

TermSet Class Reference

Inheritance diagram for TermSet:
Inheritance graph
Collaboration diagram for TermSet:
Collaboration graph

List of all members.

Public Member Functions

void insert (Term *t)
int term2Index (Term *t) const

Private Member Functions

int cardinality () const
virtual void collision (void *pointer1, unsigned int rawHashValue1, void *pointer2, unsigned int rawHashValue2, unsigned int tableSize, unsigned int disputedSlot) const
bool contains (void *p, unsigned int rawHashValue) const
bool contains (void *p) 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, unsigned int rawHashValue)
void insert (const PointerSet &other)
int insert (void *p)
void intersect (const PointerSet &other)
bool isEqual (void *pointer1, void *pointer2) const
void makeEmpty ()
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 (const PointerSet &other)
void subtract (void *p, unsigned int rawHashValue)
void subtract (void *p)
void swap (PointerSet &other)

Detailed Description

Definition at line 30 of file termSet.hh.

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

Generated by  Doxygen 1.6.0   Back to index