18 #include "../marmoteConstants.h"
27 enum opType { UNION, PRODUCT, SIMPLE };
117 virtual void firstState(
int* buffer);
125 virtual void decodeState(
int index,
int* buffer);
126 virtual bool isZero(
int* buffer);
127 virtual void printState(FILE* out,
int* buffer);
128 virtual void printState(FILE* out,
int index);
marmoteSet ** _zone
Definition: marmoteSet.h:42
virtual long int cardinal()
Cardinal of the set.
Definition: marmoteSet.cpp:105
bool _isProduct
Definition: marmoteSet.h:38
virtual ~marmoteSet()
Definition: marmoteSet.cpp:92
long int _cardinal
Definition: marmoteSet.h:41
virtual void enumerate()
Enumerates the set: lists all elements of the set. PROBLEM: enumerate where? in a file...
Definition: marmoteSet.cpp:129
bool isUnion()
Test if the set is a composite, product set.
Definition: marmoteSet.h:97
bool _isSimple
Definition: marmoteSet.h:36
virtual void nextState(int *buffer)
Procedure to compute the state following a given state in the set order. The new state is computed in...
Definition: marmoteSet.cpp:190
bool _isUnion
Definition: marmoteSet.h:37
int _nbDimensions
Definition: marmoteSet.h:39
marmoteSet ** _dimension
Definition: marmoteSet.h:43
The mother class representing abstract sets.
Definition: marmoteSet.h:33
int _nbZones
Definition: marmoteSet.h:40
virtual bool isFinite()=0
Test if the set is finite.
bool isSimple()
Test if the set is a simple, elementary set.
Definition: marmoteSet.h:91
bool isProduct()
Test if the set is a composite, product set.
Definition: marmoteSet.h:103
int * _zeroState
Definition: marmoteSet.h:52
int totNbDims()
Read accessor to the total number of dimensions.
Definition: marmoteSet.h:108