Package jline.solvers.ctmc

Class SolverCTMC

java.lang.Object

jline.solvers.Solver

jline.solvers.NetworkSolver

jline.solvers.ctmc.SolverCTMC

public class SolverCTMC
extends NetworkSolver

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	SolverCTMC.AnalyzerResult
static class	SolverCTMC.CtmcSsgResult
static class	SolverCTMC.generatorResult
static class	SolverCTMC.SolverCtmcJointResult
static class	SolverCTMC.StateSpace
static class	SolverCTMC.StochCompResult
static class	SolverCTMC.SupportResult
static class	SolverCTMC.symbolicResult

Field Summary

Fields inherited from class jline.solvers.NetworkSolver

avgHandles, model, sn, tranHandles

Fields inherited from class jline.solvers.Solver

enableChecks, name, options, random, result

Constructor Summary

Constructors

Constructor	Description
SolverCTMC(Network model, Object... args)
SolverCTMC(Network model, SolverOptions options)

Method Summary

Modifier and Type	Method	Description
static boolean	compare3DArrays(double[][][] array1, double[][][] array2, double epsilon)
static double[][][]	form3DarrayFromFile(String fileName, int a, int b, int c)
static FeatureSet	getFeatureSet()
SolverCTMC.generatorResult	getGenerator(SolverOptions options)
SolverCTMC.StateSpace	getStateSpace(SolverOptions options)
NetworkStruct	getStruct(SolverCTMC solverCTMC)
SolverCTMC.symbolicResult	getSymbolicGenerator(boolean invertSymbol, boolean primeNumbers)
void	printInfGen(Matrix Q, Matrix SS)
static double[][][]	removeRows(double[][][] array, Matrix rowsToRemove)
static double	round(double value, int places)
protected void	runAnalyzer()
void	runAnalyzerChecks(SolverOptions options)
void	setAvgResults(Matrix Q, Matrix U, Matrix R, Matrix T, Matrix A, Matrix W, Matrix C, Matrix X, double runtime, String method, int iter)
static boolean	supports(Network model)

Methods inherited from class jline.solvers.NetworkSolver

getAllSolvers, getAvg, getAvgArvR, getAvgArvRChain, getAvgArvRHandles, getAvgChain, getAvgChainTable, getAvgHandles, getAvgNode, getAvgNodeArvRChain, getAvgNodeChain, getAvgNodeChainTable, getAvgNodeQLenChain, getAvgNodeRespTChain, getAvgNodeTable, getAvgNodeTputChain, getAvgNodeUtilChain, getAvgQLen, getAvgQLenChain, getAvgQLenHandles, getAvgResidT, getAvgResidTHandles, getAvgRespT, getAvgRespTChain, getAvgRespTHandles, getAvgSys, getAvgSysRespT, getAvgSysTable, getAvgSysTput, getAvgTable, getAvgTput, getAvgTputChain, getAvgTputHandles, getAvgUtil, getAvgUtilChain, getAvgUtilHandles, getAvgWaitT, getModel, getTranAvg, getTranHandles, hasAvgResults, hasDistribResults, hasTranResults, setAvgHandles, setDistribResults, setModel, setTranAvgResults, setTranHandles, setTranProb

Methods inherited from class jline.solvers.Solver

defaultOptions, getName, getOptions, getResults, hasResults, isJavaAvailable, isValidOption, listValidOptions, parseOptions, parseOptions, reset, resetRandomGeneratorSeed, setChecks, setOptions

Methods inherited from class java.lang.Object

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

Constructor Details

SolverCTMC

public SolverCTMC(Network model,
 Object... args)

SolverCTMC

public SolverCTMC(Network model,
 SolverOptions options)

Method Details

getGenerator

public SolverCTMC.generatorResult getGenerator(SolverOptions options)

getStateSpace

public SolverCTMC.StateSpace getStateSpace(SolverOptions options)

setAvgResults

public void setAvgResults(Matrix Q,
 Matrix U,
 Matrix R,
 Matrix T,
 Matrix A,
 Matrix W,
 Matrix C,
 Matrix X,
 double runtime,
 String method,
 int iter)

Overrides:

setAvgResults in class NetworkSolver

runAnalyzer

protected void runAnalyzer()
                    throws IllegalAccessException,
ParserConfigurationException,
IOException

Specified by:

runAnalyzer in class Solver

Throws:

IllegalAccessException

ParserConfigurationException

IOException

runAnalyzerChecks

public void runAnalyzerChecks(SolverOptions options)

Overrides:

runAnalyzerChecks in class Solver

round

public static double round(double value,
 int places)

compare3DArrays

public static boolean compare3DArrays(double[][][] array1,
 double[][][] array2,
 double epsilon)

form3DarrayFromFile

public static double[][][] form3DarrayFromFile(String fileName,
 int a,
 int b,
 int c)

removeRows

public static double[][][] removeRows(double[][][] array,
 Matrix rowsToRemove)

printInfGen

public void printInfGen(Matrix Q,
 Matrix SS)

getStruct

public NetworkStruct getStruct(SolverCTMC solverCTMC)

getSymbolicGenerator

public SolverCTMC.symbolicResult getSymbolicGenerator(boolean invertSymbol,
 boolean primeNumbers)

getFeatureSet

public static FeatureSet getFeatureSet()

supports

public static boolean supports(Network model)