Package jline.solvers.ctmc

Class SolverCTMC.SampleResult

java.lang.Object

jline.solvers.ctmc.SolverCTMC.SampleResult

Enclosing class:

SolverCTMC

public static class SolverCTMC.SampleResult
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
List<SolverCTMC.EventInfo>	event
StatefulNode	handle
boolean	isaggregate
Matrix	state
Matrix	t

Constructor Summary

Constructors

Constructor	Description
SampleResult()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

handle

public StatefulNode handle

t

public Matrix t

state

public Matrix state

event

public List<SolverCTMC.EventInfo> event

isaggregate

public boolean isaggregate

Constructor Details

SampleResult

public SampleResult()