16 Distribution Solve_Chain( Markov_Chain Chain,
boolean Reward,
boolean Progress);
17 Distribution Solve_Cont_Time_Chain( Markov_Chain Chain,
boolean Reward,
boolean Progress);
18 Distribution Solve_Disc_Time_Chain( Markov_Chain Chain,
boolean Reward,
boolean Progress);
21 double Dist(
double *v1,
double *v2,
int Size );
25 Markov_Chain New_Markov_Chain(
int,
boolean,
int );
26 void Write_Markov_Chain( FILE*, Markov_Chain,
boolean );
27 extern Markov_Chain Read_Chain(
char *File_Name );
44 extern Simulation_Result Sim_Disc_Time_Chain(Markov_Chain Chain,
46 boolean Stats,
boolean Traj,
49 extern Simulation_Result Sim_Cont_Time_Chain( Markov_Chain Chain,
51 boolean Stats,
boolean Traj,
55 Simulation_Result Sim_Chain( Markov_Chain,
double,
boolean,
boolean,
68 Simulation_Result New_Simulation_Result(
int,
int,
boolean);
69 void Print_Simulation_Result(Simulation_Result,FILE*,
boolean,
boolean,
boolean);
70 void Free_Simulation_Result();
76 double Exponential(
double Rate );