Package jline.solvers.ctmc

Class SolverCTMC.generatorResult

java.lang.Object

jline.solvers.ctmc.SolverCTMC.generatorResult

Enclosing class:

SolverCTMC

public static class SolverCTMC.generatorResult
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Map<Integer,Sync>	ev
MatrixCell	eventFilt
Matrix	infGen

Constructor Summary

Constructors

Constructor	Description
generatorResult(Matrix infGen, MatrixCell eventFilt, Map<Integer,Sync> ev)

Method Summary

Modifier and Type	Method	Description
void	prettyPrint()
void	prettyPrintInt()
void	print()

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 MatrixCell eventFilt

ev

public Map<Integer,Sync> ev

Constructor Details

generatorResult

public generatorResult(Matrix infGen,
 MatrixCell eventFilt,
 Map<Integer,Sync> ev)

Method Details

prettyPrint

public void prettyPrint()

prettyPrintInt

public void prettyPrintInt()

print

public void print()