Solver_ctmc_fcr_waitq.Result (LINE Solver Java API)

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 plus the per-action rate filters.

Field Summary

Fields

Modifier and Type

Field

Description

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