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.
double	runtime
int[]	source
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.

source

public int[] source

target

public int[] target

runtime

public double runtime

Constructor Details

FirstPassageMomentsResult

public FirstPassageMomentsResult()