DOBAD (version 1.0.6)

getIthJumpTime: Get the jump times from a CTMC.

Description

Get the time of the ith jump

Usage

getIthJumpTime(CTMC, i)
getIthJumpTimes(timesList, i)
getIthState(CTMC,i)

Arguments

CTMC

A CTMC.

timesList

List of positive numerics, each of which is the list of times from a CTMC.

i

Positive integer. Which jump to get the time of. Need to know the CTMC(s) jumped at least i times!

Value

getIthJumpTime returns a single positive numeric. getIthJumpTimes returns a vector of positive numerics. getIthState returns a nonnegative integer, the state.

Details

Need to know the CTMC(s) jumped at least i times.