|
| marmoteBox (int nbDims, int *dimSize) |
| Constructor for a marmoteBox from the arrays of sizes in each dimension. By convention, the SW corner of the box is (0,...,0). All arrays passed as parameters are copied. More...
|
|
| marmoteBox (int nbDims, int *lower, int *upper) |
| Constructor for general boxes, from the arrays of lower/upper values. By convention, these lower/upper values belong to the box. All arrays passed as parameters are copied. More...
|
|
| ~marmoteBox () |
| Destructor. More...
|
|
bool | isFinite () |
| Test whether the set is finite. Boxes are finite if and only if the size in each dimension is finite. More...
|
|
bool | isZero (int *buffer) |
| Tests that a state, given by its vector representation, is zero. More...
|
|
void | firstState (int *buffer) |
| Initializes some state buffer with the first state of the set. More...
|
|
void | nextState (int *buffer) |
| Procedure to compute the state following a given state in the set order. The new state is computed in place: the original state is erased. By convention, the state following the last state is the first state. More...
|
|
void | decodeState (int index, int *buf) |
| utility to convert a state index into a state array More...
|
|
int | index (int *buf) |
| Utility to find the number of some state. More...
|
|
void | printState (FILE *out, int *buffer) |
| Procedure for printing out a state. More...
|
|
| marmoteSet (marmoteSet **list, int nb, opType t) |
| Constructor for composite sets, from smaller sets. More...
|
|
virtual | ~marmoteSet () |
|
virtual long int | cardinal () |
| Cardinal of the set. More...
|
|
bool | isSimple () |
| Test if the set is a simple, elementary set. More...
|
|
bool | isUnion () |
| Test if the set is a composite, product set. More...
|
|
bool | isProduct () |
| Test if the set is a composite, product set. More...
|
|
int | totNbDims () |
| Read accessor to the total number of dimensions. More...
|
|
virtual void | enumerate () |
| Enumerates the set: lists all elements of the set. PROBLEM: enumerate where? in a file? to be specified more precisely. More...
|
|
int | index (int *buffer) |
| Function that computes the number (index) of some state in the order of the set. The base class provides an implementation that uses solely firstState(), nextState(), and state comparison. For efficiency, it is advised to re-implement this method for derived classes. More...
|
|
virtual void | printState (FILE *out, int index) |
| Procedure to print a state, given by its index, to some file descriptor. More...
|
|