Package jline.solvers.ctmc

Class SolverCTMC.FirstPassageResult

java.lang.Object

jline.solvers.ctmc.SolverCTMC.FirstPassageResult

Enclosing class:

SolverCTMC

public static class SolverCTMC.FirstPassageResult
extends Object

Result of SolverCTMC.getCdfFirstPassT(jline.util.matrix.Matrix, jline.util.matrix.Matrix): the [F(t), t] curve plus the grid, density and resolved state sets, the out struct of the reference.

Field Summary

Fields

Modifier and Type	Field	Description
double[]	density
Matrix	RD	(n x 2) matrix, first column F(t), second column t.
double	reachProb	Probability of entering B (before C, when C is given): the limit of F(t).
double	runtime
int[]	source
int[]	taboo	Resolved 0-based taboo indices C, with the target removed; empty for a plain passage.
double	tabooProb	Probability of entering C before B; zero for a plain passage.
int[]	target
double[]	tset

Constructor Summary

Constructors

Constructor	Description
FirstPassageResult()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

RD

public Matrix RD

(n x 2) matrix, first column F(t), second column t.

tset

public double[] tset

density

public double[] density

source

public int[] source

target

public int[] target

taboo

public int[] taboo

Resolved 0-based taboo indices C, with the target removed; empty for a plain passage.

reachProb

public double reachProb

Probability of entering B (before C, when C is given): the limit of F(t).

tabooProb

public double tabooProb

Probability of entering C before B; zero for a plain passage.

runtime

public double runtime

Constructor Details

FirstPassageResult

public FirstPassageResult()