Package jline.solvers.env

Class ENV

java.lang.Object

jline.solvers.Solver

jline.solvers.EnsembleSolver

jline.solvers.env.SolverENV

jline.solvers.env.ENV

public class ENV
extends SolverENV

ENV is an alias for SolverENV (Ensemble environment solver).

Nested Class Summary

Nested classes/interfaces inherited from class jline.solvers.env.SolverENV

SolverENV.EnvGeneratorResult, SolverENV.SamplePathResult

Field Summary

Fields inherited from class jline.solvers.EnsembleSolver

ensemble, numThreads, results, solvers, threadPool

Fields inherited from class jline.solvers.Solver

enableChecks, model, name, options, random, result

Constructor Summary

Constructors

Constructor	Description
ENV(Environment renv, NetworkSolver[] solvers)
ENV(Environment renv, NetworkSolver[] solvers, SolverOptions options)

Method Summary

Methods inherited from class jline.solvers.env.SolverENV

analyze, converged, ctmc_courtois, ctmc_courtois, ctmc_decompose, defaultOptions, finish, getAvg, getAvgTable, getAvgTable, getAvgTable, getEnsembleAvg, getFeatureSet, getGenerator, getName, getSamplePathTable, getStruct, init, listValidMethods, post, pre, printAvgTable, printAvgTable, runAnalyzer, runAnalyzerByCTMC, setCompression, setRef, setSMPMethod, setStateDepMethod, supports

Methods inherited from class jline.solvers.EnsembleSolver

ensembleAvg, getNumberOfModels, getNumThreads, iterate, numberOfModels, numThreads, printEnsembleAvgTables, printEnsembleAvgTs, setNumThreads

Methods inherited from class jline.solvers.Solver

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

Methods inherited from class java.lang.Object

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

Constructor Details

ENV

public ENV(Environment renv,
 NetworkSolver[] solvers)

ENV

public ENV(Environment renv,
 NetworkSolver[] solvers,
 SolverOptions options)