All Implemented Interfaces:


public class SolverEnv
extends EnsembleSolver

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`public class`	`SolverEnv.EnvGeneratorResult`	Container class holding the generator matrices and related data structures for both stage-specific and random environment transitions. Used to encapsulate results from environment-aware model generation.

Field Summary

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`

Constructor Summary

Constructors
Constructor	Description
`SolverEnv(Env renv, Array<NetworkSolver> solvers)`
`SolverEnv(Env renv, Array<NetworkSolver> solvers, SolverOptions options)`

Enum Constant Summary

Enum Constants
Enum Constant	Description

Method Summary

Modifier and Type	Method	Description
`static FeatureSet`	`getFeatureSet()`
`boolean`	`supports(Network model)`	Checks if this solver supports the given network model.
`static SolverOptions`	`defaultOptions()`
`boolean`	`converged(int it)`
`void`	`init()`
`void`	`pre(int it)`
`void`	`post(int it)`
`void`	`finish()`
`String`	`getName()`	Returns the name identifier of this solver.
`SolverEnv.EnvGeneratorResult`	`getGenerator()`
`void`	`getAvg()`
`AvgTable`	`getEnsembleAvg()`
`SolverResult`	`analyze(int it, int e)`
`CTMCResult`	`runAnalyzerByCTMC()`
`final NetworkAvgTable`	`getAvgTable()`
`final NetworkAvgTable`	`getAvgTable(SolverOptions options, boolean keepDisabled)`
`final NetworkAvgTable`	`getAvgTable(SolverOptions options)`
`void`	`printAvgTable(boolean keepDisabled)`	Prints the average metrics table for all stations and job classes.
`void`	`printAvgTable()`
`void`	`runAnalyzer()`	Executes the solver algorithm to analyze the model.
`static SolverEnv.Compression_result`	`ctmc_courtois(Matrix Q, MatrixCell MS, double q)`
`static SolverEnv.Compression_result`	`ctmc_courtois(Matrix Q, MatrixCell MS)`
`void`	`setStateDepMethod(String method)`
`void`	`setNewMethod(boolean newMethod)`
`void`	`setCompression(boolean compression)`
`void`	`setRef(int i)`

Methods inherited from class jline.solvers.EnsembleSolver
ensembleAvg, getNumThreads, getNumberOfModels, iterate, numThreads, numberOfModels, printEnsembleAvgTables, 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 Detail

SolverEnv

SolverEnv(Env renv, Array<NetworkSolver> solvers)

SolverEnv

SolverEnv(Env renv, Array<NetworkSolver> solvers, SolverOptions options)

Method Detail

getFeatureSet
```
 static FeatureSet getFeatureSet()
```

supports
```
 boolean supports(Network model)
```
Checks if this solver supports the given network model. Default implementation returns true; subclasses should override to provide specific feature validation.

Parameters:

model - the network model to check

Returns:

true if the model is supported, false otherwise

defaultOptions
```
 static SolverOptions defaultOptions()
```

converged
```
 boolean converged(int it)
```

init
```
 void init()
```

pre
```
 void pre(int it)
```

post
```
 void post(int it)
```

finish
```
 void finish()
```

getName
```
 String getName()
```
Returns the name identifier of this solver.

Returns:

the solver name

getGenerator

 SolverEnv.EnvGeneratorResult getGenerator()

getAvg
```
 void getAvg()
```

getEnsembleAvg
```
 AvgTable getEnsembleAvg()
```

analyze
```
 SolverResult analyze(int it, int e)
```

runAnalyzerByCTMC
```
 CTMCResult runAnalyzerByCTMC()
```

getAvgTable
```
 final NetworkAvgTable getAvgTable()
```

getAvgTable

 final NetworkAvgTable getAvgTable(SolverOptions options, boolean keepDisabled)

getAvgTable

 final NetworkAvgTable getAvgTable(SolverOptions options)

printAvgTable
```
 void printAvgTable(boolean keepDisabled)
```
Prints the average metrics table for all stations and job classes.

Parameters:

keepDisabled - If true, includes disabled/inactive entries (0-valued metrics).

printAvgTable
```
 void printAvgTable()
```

runAnalyzer
```
 void runAnalyzer()
```
Executes the solver algorithm to analyze the model. This abstract method must be implemented by concrete solver classes.

ctmc_courtois

 static SolverEnv.Compression_result ctmc_courtois(Matrix Q, MatrixCell MS, double q)

ctmc_courtois

 static SolverEnv.Compression_result ctmc_courtois(Matrix Q, MatrixCell MS)

setStateDepMethod
```
 void setStateDepMethod(String method)
```

setNewMethod
```
 void setNewMethod(boolean newMethod)
```

setCompression

 void setCompression(boolean compression)

setRef
```
 void setRef(int i)
```

Class SolverEnv

Nested Class Summary

Field Summary

Constructor Summary

Enum Constant Summary

Method Summary

Methods inherited from class jline.solvers.EnsembleSolver

Methods inherited from class jline.solvers.Solver

Methods inherited from class java.lang.Object

Constructor Detail

SolverEnv

SolverEnv

Method Detail

getFeatureSet

supports

defaultOptions

converged

init

pre

post

finish

getName

getGenerator

getAvg

getEnsembleAvg

analyze

runAnalyzerByCTMC

getAvgTable

getAvgTable

getAvgTable

printAvgTable

printAvgTable

runAnalyzer

ctmc_courtois

ctmc_courtois

setStateDepMethod

setNewMethod

setCompression

setRef