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, SolverFactory factory)	Creates an ENV solver from a factory that produces an inner solver for each stage sub-model.
ENV(Environment renv, SolverFactory factory, SolverOptions options)	Creates an ENV solver from a per-stage solver factory, with options.
ENV(Environment renv, NetworkSolver[] solvers)
ENV(Environment renv, NetworkSolver[] solvers, SolverOptions options)

Method Summary

Methods inherited from class jline.solvers.env.SolverENV

analyze, computeSojournCdf, 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, getSolver, getStageResult, 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)

ENV

public ENV(Environment renv,
 SolverFactory factory)

Creates an ENV solver from a factory that produces an inner solver for each stage sub-model.

Parameters:

renv - the random-environment model

factory - a factory mapping a stage model to its inner solver

ENV

public ENV(Environment renv,
 SolverFactory factory,
 SolverOptions options)

Creates an ENV solver from a per-stage solver factory, with options.

Parameters:

renv - the random-environment model

factory - a factory mapping a stage model to its inner solver

options - the solver options