Package jline.solvers.ctmc

Class CTMCResult.TRAN

java.lang.Object

jline.solvers.ctmc.CTMCResult.TRAN

Enclosing class:

CTMCResult

public class CTMCResult.TRAN
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
CTMCResult.AVG	Avg

Constructor Summary

Constructors

Constructor	Description
TRAN()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

Avg

public CTMCResult.AVG Avg

Constructor Details

TRAN

public TRAN()