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

Classes | Public Types | Public Member Functions | Private Types | Private Member Functions | Static Private Member Functions | Private Attributes | Friends

NatSet Class Reference

Collaboration diagram for NatSet:
Collaboration graph

List of all members.


class  iterator

Public Types

typedef iterator const_iterator
typedef unsigned int size_type
typedef int value_type

Public Member Functions

iterator begin () const
int cardinality () const
void clear ()
FastBool contains (value_type i) const
bool contains (const NatSet &other) const
bool disjoint (const NatSet &other) const
bool empty () const
iterator end () const
void insert (value_type i)
void insert (const NatSet &other)
void intersect (const NatSet &other)
void makeEmpty ()
value_type max () const
value_type min () const
 NatSet (const NatSet &original)
bool operator!= (const NatSet &other) const
bool operator< (const NatSet &other) const
NatSetoperator= (const NatSet &original)
bool operator== (const NatSet &other) const
size_type size () const
void subtract (const NatSet &other)
void subtract (value_type i)
void swap (NatSet &other)

Private Types

enum  Constants { BITS_PER_WORD = BITS_PER_BYTE * sizeof(Word) }
typedef unsigned long Word

Private Member Functions

FastBool arrayContains (value_type i) const
value_type arrayMin (int i) const

Static Private Member Functions

static int bottomBit (Word w)
static int countBits (Word w)
static Word getMask (value_type i)
static Word getMaskSmall (int i)
static unsigned int getShift (value_type i)
static int getWordNr (value_type i)
static int topBit (Word w)

Private Attributes

Vector< Word > array
Word firstWord


class iterator

Detailed Description

Definition at line 29 of file natSet.hh.

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

Generated by  Doxygen 1.6.0   Back to index