Package jline.solvers.ctmc

Class SolverCTMC.FirstPassageMomentsResult

java.lang.Object

jline.solvers.ctmc.SolverCTMC.FirstPassageMomentsResult

Enclosing class:

SolverCTMC

public static class SolverCTMC.FirstPassageMomentsResult
extends Object

Result of SolverCTMC.getFirstPassTMoments(jline.util.matrix.Matrix, jline.util.matrix.Matrix, int).

Field Summary

Fields

Modifier and Type	Field	Description
Matrix	m	(1 x nmax) moments for a passage started uniformly in A.
Matrix	mall	(nstates x nmax), one row per starting state; 0 on B, Inf where B is unreachable.
Matrix	pB	(nstates x 1) probability of entering B (before C, when C is given) from each state.
double	runtime
int[]	source
int[]	taboo	Resolved 0-based taboo indices C; empty for a plain passage.
int[]	target

Constructor Summary

Constructors

Constructor	Description
FirstPassageMomentsResult()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

m

public Matrix m

(1 x nmax) moments for a passage started uniformly in A.

mall

public Matrix mall

(nstates x nmax), one row per starting state; 0 on B, Inf where B is unreachable. With a taboo set the moments are conditional on entering B before C, and NaN where B cannot be entered first.

pB

public Matrix pB

(nstates x 1) probability of entering B (before C, when C is given) from each state.

source

public int[] source

target

public int[] target

taboo

public int[] taboo

Resolved 0-based taboo indices C; empty for a plain passage.

runtime

public double runtime

Constructor Details

FirstPassageMomentsResult

public FirstPassageMomentsResult()