** Next:** PH-type Markov Chain
** Up:** No Title
** Previous:** Irreducible Markov Chain

**prob**(system_name, state_name {; arg1, arg2 ..})

- Steady-state probability that the state_name was ever visited
**fastmttf**(system_name {; arg1, arg2 ..})

- Mean time to failure (MTTF) (if the failure states are named)
**sreward**(system_name, state_name {; arg1, arg2 ..})

- The reward assigned to state_name
**pcont**(system_name, state_name {; arg1, arg2 ..})

- The continuous part of the exponomial. If state_name is transient, the exponomial used by pcont is the unconditional distribution for time from the beginning till leaving state_name; If state_name is absorbing, the exponomial used by pcont is transient state probability function for state_name.
**pzero**(system_name, state_name {; arg1, arg2 ..})

- The value at t=0 of the exponomial which is the same exponomial as **pcont**
**pinf**(system_name, state_name {; arg1, arg2 ..})

- The value at t=
of the exponomial which is the same exponomial as **pcont**
**mean**(system_name, state_name {; arglist})

- If transient state_name is given, it returns the mean time from t=0 until leaving the state; if absorbing state_name is given, it returns the mean time to absorption.
**variance** (system_name, state_name {; arglist})

- Variance of the exponomial which is used in **pcont**.
**tvalue** (system_name, state_name {; arglist})

- Transient probability of being in state_name at time t
**exrt**(time; system_name {; arg1, arg2 ..})

- Expected reward rate at time t
**cexrt**(time; system_name {; arg1, arg2 ..})

- Cumulative expected reward until time t
**cdf**(system_name {, state_name} {; arg1, arg2 ..})

- If state_name is given, it outputs the transient state probability for state_name; else it gives the distribution of time to absorption.
**lcdf**(system_name, state_name {; arg1, arg2 ..})

- The exponomial function of t for the conditional probability that the transient state_name has been left by time t, given that the state was visited at all.

** Next:** PH-type Markov Chain
** Up:** No Title
** Previous:** Irreducible Markov Chain