Marmote Core
The project aims at realizing the prototype of a software environment dedicated to modeling with Markov chains.
|
Public Member Functions | |
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... | |
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... | |
virtual void | printState (FILE *out, int index) |
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... | |
virtual void | printState (FILE *out, int index) |
Additional Inherited Members | |
![]() | |
bool | _isSimple |
bool | _isUnion |
bool | _isProduct |
int | _nbDimensions |
int | _nbZones |
long int | _cardinal |
marmoteSet ** | _zone |
marmoteSet ** | _dimension |
int * | _zeroState |
marmoteBox::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.
nbDims | the number of dimensions |
dimSize | array of size in each dimension (possibly INFINITE_STATE_SPACE_SIZE) |
marmoteBox::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.
nbDims | the number of dimensions |
lower | array of lower values in each dimension |
upper | array of upper values in each dimension (possibly INFINITE_STATE_SPACE_SIZE) |
marmoteBox::~marmoteBox | ( | ) |
Destructor.
marmoteBox::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.
nbDims | the number of dimensions |
dimSize | array of size in each dimension (possibly INFINITE_STATE_SPACE_SIZE) |
marmoteBox::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.
nbDims | the number of dimensions |
lower | array of lower values in each dimension |
upper | array of upper values in each dimension (possibly INFINITE_STATE_SPACE_SIZE) |
marmoteBox::~marmoteBox | ( | ) |
Destructor.
|
virtual |
utility to convert a state index into a state array
index | the state index |
buf | the state buffer to be filled |
Reimplemented from marmoteSet.
|
virtual |
utility to convert a state index into a state array
index | the state index |
buf | the state buffer to be filled |
Reimplemented from marmoteSet.
|
virtual |
Initializes some state buffer with the first state of the set.
buffer | the buffer to be set. |
Reimplemented from marmoteSet.
|
virtual |
Initializes some state buffer with the first state of the set.
buffer | the buffer to be set. |
Reimplemented from marmoteSet.
int marmoteBox::index | ( | int * | buf | ) |
Utility to find the number of some state.
buf | a state buffer |
int marmoteBox::index | ( | int * | buf | ) |
Utility to find the number of some state.
buf | a state buffer |
|
virtual |
Test whether the set is finite. Boxes are finite if and only if the size in each dimension is finite.
Implements marmoteSet.
|
virtual |
Test whether the set is finite. Boxes are finite if and only if the size in each dimension is finite.
Implements marmoteSet.
|
virtual |
Tests that a state, given by its vector representation, is zero.
buffer | the state to be tested |
Reimplemented from marmoteSet.
|
virtual |
Tests that a state, given by its vector representation, is zero.
buffer | the state to be tested |
Reimplemented from marmoteSet.
|
virtual |
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.
buffer | the reference state |
Reimplemented from marmoteSet.
|
virtual |
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.
buffer | the reference state |
Reimplemented from marmoteSet.
|
virtual |
Procedure for printing out a state.
out | file descriptor of the stream to be used |
buffer | the state buffer to be printed |
Reimplemented from marmoteSet.
|
virtual |
Procedure for printing out a state.
out | file descriptor of the stream to be used |
buffer | the state buffer to be printed |
Reimplemented from marmoteSet.