19 #include "marmoteConstants.h"
20 #include "Distribution/Distribution.h"
21 #include "simulationResult.h"
22 #include "transitionStructure/transitionStructure.h"
89 markovChain(
string format,
string param[],
int nbreParam,
string modelName,
159 void setAbstract(
string abstract[]);
192 for(
int i=0; i<_abstractNbre;i++)
194 cout<<i<<
":"<<_abstract[i];
215 bool Stats,
bool Traj,
216 bool withIncrements,
bool Print );
229 bool stats,
bool traj,
243 bool stats,
bool traj,
261 bool stats,
bool Traj,
272 virtual Distribution* stationaryDistribution(
bool progress );
281 virtual Distribution* stationaryDistributionCT(
bool progress );
289 virtual Distribution* stationaryDistributionDT(
bool progress );
328 Distribution* hittingTimeDistribution(
int iState,
bool *hitSetIndicator );
341 int* simulateHittingTime(
int iState,
bool *hittingSet,
342 int nbSamples,
int tMax );
349 double* averageHittingTime(
bool *hitSetIndicator );
358 double* averageHittingTimeDT(
bool *hitSetIndicator );
367 double* averageHittingTimeDT_iterative(
bool *hitSetIndicator );
396 void setSizeType(
const string path);
408 virtual void write( FILE *out,
bool withReward );
409 virtual void write(
string format,
string modelName);
413 #endif // MARKOVCHAIN_H
Markov Chain class.
Definition: markovChain.h:32
string _format
format/language of the model
Definition: markovChain.h:48
bool _isAbstract
true if the object is "abstract", i.e. a pointer to some files
Definition: markovChain.h:45
transitionStructure * generator()
Read accessor to get the value of _generator which is a transitionStructure.
Definition: markovChain.h:112
void setAbstractNbre(int abstractNbre)
Utility to set the value of _abstractNbre.
Definition: markovChain.h:151
int _stateSpaceSize
size of the state space (should be a pointer on the state space itself)
Definition: markovChain.h:38
string modelName()
Utility to get _modelName.
Definition: markovChain.h:176
int stateSpaceSize()
Read accessor to get the number of states in the state space of the Markov chain. ...
Definition: markovChain.h:106
bool _debug
internal debugging indicator
Definition: markovChain.h:43
string _modelName
name of the model
Definition: markovChain.h:49
void setInitDistribution(discreteDistribution *d)
Write accessor to set the value of _initDistribution which is a discreteDistribution.
Definition: markovChain.h:118
A class for representing probability distributions.
Definition: Distribution.h:44
string * _abstract
table of abstraction parameters
Definition: markovChain.h:47
int _abstractNbre
number of abstraction parameters
Definition: markovChain.h:46
string format()
Utility to get _format.
Definition: markovChain.h:182
void setModelName(string modelName)
Utility to set the value of _modelName.
Definition: markovChain.h:144
void setFormat(string format)
Utility to set the value of _format.
Definition: markovChain.h:138
Abstract class for transition structures. These are structures which describe transitions to one stat...
Definition: transitionStructure.h:17
timeType _type
time type: discrete or continuous
Definition: markovChain.h:37
transitionStructure * _generator
transition structure of the chain
Definition: markovChain.h:39
discreteDistribution * _initDistribution
initial distribution of the process
Definition: markovChain.h:42
The general discrete distribution with finite support.
Definition: discreteDistribution.h:25
int abstractNbre()
Utility to get _abstractNbre.
Definition: markovChain.h:168
The class for transmitting (Monte Carlo) simulation results between objects. Simulation results may b...
Definition: simulationResult.h:18
void setGenerator(transitionStructure *tr)
Write accessor to set the value of _generator which is a transitionStructure.
Definition: markovChain.h:124