Package jline.solvers.ctmc

Class SolverCTMC.symbolicResult

java.lang.Object

jline.solvers.ctmc.SolverCTMC.symbolicResult

Enclosing class:

SolverCTMC

public static class SolverCTMC.symbolicResult
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Map<Integer,Matrix>	eventFilt
Matrix	infGen
Map<Integer,Matrix>	nodeStateSpace
Matrix	stateSpace
Map<Integer,Sync>	syncInfo

Constructor Summary

Constructors

Constructor	Description
symbolicResult(Matrix infGen, Map<Integer,Matrix> eventFilt, Map<Integer,Sync> syncInfo, Matrix stateSpace, Map<Integer,Matrix> nodeStateSpace)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

infGen

public Matrix infGen

eventFilt

public Map<Integer,Matrix> eventFilt

syncInfo

public Map<Integer,Sync> syncInfo

stateSpace

public Matrix stateSpace

nodeStateSpace

public Map<Integer,Matrix> nodeStateSpace

Constructor Details

symbolicResult

public symbolicResult(Matrix infGen,
 Map<Integer,Matrix> eventFilt,
 Map<Integer,Sync> syncInfo,
 Matrix stateSpace,
 Map<Integer,Matrix> nodeStateSpace)