4 #include "marmoteConstants.h"
5 #include "Distribution/Distribution.h"
6 #include "simulationResult.h"
7 #include "transitionStructure/transitionStructure.h"
74 markovChain(
string format,
string param[],
int nbreParam,
string modelName,
144 void setAbstract(
string abstract[]);
177 for(
int i=0; i<_abstractNbre;i++)
179 cout<<i<<
":"<<_abstract[i];
200 bool Stats,
bool Traj,
201 bool withIncrements,
bool Print );
214 bool stats,
bool traj,
228 bool stats,
bool traj,
246 bool stats,
bool Traj,
257 virtual Distribution* stationaryDistribution(
bool progress );
266 virtual Distribution* stationaryDistributionCT(
bool progress );
274 virtual Distribution* stationaryDistributionDT(
bool progress );
313 Distribution* hittingTimeDistribution(
int iState,
bool *hitSetIndicator );
326 int* simulateHittingTime(
int iState,
bool *hittingSet,
327 int nbSamples,
int tMax );
334 double* averageHittingTime(
bool *hitSetIndicator );
343 double* averageHittingTimeDT(
bool *hitSetIndicator );
352 double* averageHittingTimeDT_iterative(
bool *hitSetIndicator );
381 void setSizeType(
const string path);
393 virtual void write( FILE *out,
bool withReward );
394 virtual void write(
string format,
string modelName);
398 #endif // MARKOVCHAIN_H
Markov Chain class.
Definition: markovChain.h:32
transitionStructure * generator()
Read accessor to get the value of _generator which is a transitionStructure.
Definition: markovChain.h:97
void setAbstractNbre(int abstractNbre)
Utility to set the value of _abstractNbre.
Definition: markovChain.h:136
string modelName()
Utility to get _modelName.
Definition: markovChain.h:161
int stateSpaceSize()
Read accessor to get the number of states in the state space of the Markov chain. ...
Definition: markovChain.h:91
void setInitDistribution(discreteDistribution *d)
Write accessor to set the value of _initDistribution which is a discreteDistribution.
Definition: markovChain.h:103
A class for representing probability distributions.
Definition: Distribution.h:44
string format()
Utility to get _format.
Definition: markovChain.h:167
void setModelName(string modelName)
Utility to set the value of _modelName.
Definition: markovChain.h:129
void setFormat(string format)
Utility to set the value of _format.
Definition: markovChain.h:123
Abstract class for transition structures. These are structures which describe transitions to one stat...
Definition: transitionStructure.h:17
The general discrete distribution with finite support.
Definition: discreteDistribution.h:25
int abstractNbre()
Utility to get _abstractNbre.
Definition: markovChain.h:153
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:109