#include <partition.h>
Public Types | |
typedef unsigned long | argument_type |
typedef unsigned long | result_type |
Public Member Functions | |
Partition () | |
Partition (unsigned long n) | |
Partition (std::vector< unsigned long > &) | |
Partition (std::vector< unsigned long > &, tags::UnnormalizedTag) | |
~Partition () | |
void | swap (Partition &) |
unsigned long | operator() (unsigned long j) const |
bool | operator== (const Partition &other) const |
unsigned long | classCount () const |
unsigned long | classRep (unsigned long c) const |
unsigned long | classSize (unsigned long) const |
unsigned long | size () const |
void | addToClass (unsigned long c, unsigned long j) |
void | clear () |
void | newClass (unsigned long c) |
void | resize (unsigned long n) |
Private Attributes | |
std::vector< unsigned long > | d_class |
std::vector< unsigned long > | d_classRep |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|