33 #include "../marmoteConstants.h"
42 enum opType { UNION, PRODUCT, SIMPLE };
132 virtual void firstState(
int* buffer);
140 virtual void decodeState(
int index,
int* buffer);
141 virtual bool isZero(
int* buffer);
142 virtual void printState(FILE* out,
int* buffer);
143 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:112
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:106
bool isProduct()
Test if the set is a composite, product set.
Definition: marmoteSet.h:118
int * _zeroState
Definition: marmoteSet.h:52
int totNbDims()
Read accessor to the total number of dimensions.
Definition: marmoteSet.h:123