Package jline.solvers.ctmc.handlers

Class Solver_ctmc_fcr_waitq.Result

java.lang.Object

jline.solvers.ctmc.handlers.Solver_ctmc_fcr_waitq.Result

Enclosing class:

Solver_ctmc_fcr_waitq

public static final class Solver_ctmc_fcr_waitq.Result
extends Object

Result bundle: augmented spaces, the per-action rate filters, and the true-BAS become-blocked arcs. The latter are part of the generator but are NOT departures of any action, so they are kept out of Dfilt and folded straight into Q.

Field Summary

Fields

Modifier and Type	Field	Description
final Matrix	basBlockQ
final MatrixCell	Dfilt
final Matrix	stateSpace
final Matrix	stateSpaceAggr
final Matrix	stateSpaceHashed

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

stateSpace

public final Matrix stateSpace

stateSpaceAggr

public final Matrix stateSpaceAggr

stateSpaceHashed

public final Matrix stateSpaceHashed

Dfilt

public final MatrixCell Dfilt

basBlockQ

public final Matrix basBlockQ