Nested Classes
Modifier and Type	Class	Description

Fields
Modifier and Type	Field	Description
`protected Array<Network>`	`ensemble`
`protected Array<NetworkSolver>`	`solvers`
`protected Map<Integer, Map<Integer, SolverResult>>`	`results`
`protected ExecutorService`	`threadPool`
`protected int`	`numThreads`
`public Model`	`model`
`public String`	`name`
`public SolverOptions`	`options`
`public SolverResult`	`result`
`public boolean`	`enableChecks`
`public Random`	`random`

Constructors
Constructor	Description
`ENV(Environment renv, Array<NetworkSolver> solvers)`
`ENV(Environment renv, Array<NetworkSolver> solvers, SolverOptions options)`

Enum Constants
Enum Constant	Description

Modifier and Type	Method	Description

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, getStruct, init, listValidMethods, post, pre, printAvgTable, printAvgTable, runAnalyzer, runAnalyzerByCTMC, setCompression, setNewMethod, setRef, setStateDepMethod, supports
Methods inherited from class jline.solvers.EnsembleSolver
ensembleAvg, getNumThreads, getNumberOfModels, iterate, numThreads, numberOfModels, 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

ENV(Environment renv, Array<NetworkSolver> solvers)

ENV(Environment renv, Array<NetworkSolver> solvers, SolverOptions options)

Class ENV