#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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.4.6