Package jline.solvers.mva.handlers

Class MVARunner

java.lang.Object

jline.solvers.mva.handlers.MVARunner

public class MVARunner
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected SolverOptions	options
protected MVAResult	res
protected NetworkStruct	sn

Constructor Summary

Constructors

Constructor	Description
MVARunner(Network model, SolverOptions options, boolean enableChecks)
MVARunner(Network model, SolverOptions options, boolean enableChecks, Ret.FJApprox mmtCache)
MVARunner(Network model, SolverOptions options, boolean enableChecks, Ret.FJApprox mmtCache, Matrix fjForkLambda)

Method Summary

Modifier and Type	Method	Description
Matrix	getFjForkLambda()	The MMT fixed-point iterate this run ended on, for the owning solver to keep.
Ret.FJApprox	getMmtCache()	The MMT transformation this run built or reused, for the owning solver to keep.
static boolean	qsysServesMethod(String method)
SolverResult	runAnalyzer(SolverAvgHandles avgHandles)	runAnalyzer() method from LINE.

Methods inherited from class java.lang.Object

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

Field Details

sn

protected NetworkStruct sn

options

protected SolverOptions options

res

protected MVAResult res

Constructor Details

MVARunner

public MVARunner(Network model,
 SolverOptions options,
 boolean enableChecks)

MVARunner

public MVARunner(Network model,
 SolverOptions options,
 boolean enableChecks,
 Ret.FJApprox mmtCache)

MVARunner

public MVARunner(Network model,
 SolverOptions options,
 boolean enableChecks,
 Ret.FJApprox mmtCache,
 Matrix fjForkLambda)

Method Details

getMmtCache

public Ret.FJApprox getMmtCache()

The MMT transformation this run built or reused, for the owning solver to keep.

getFjForkLambda

public Matrix getFjForkLambda()

The MMT fixed-point iterate this run ended on, for the owning solver to keep.

runAnalyzer

public SolverResult runAnalyzer(SolverAvgHandles avgHandles)

runAnalyzer() method from LINE.

Parameters:

avgHandles - - the average handles for the model

Returns:

- the performance measures corresponding to the given network

qsysServesMethod

public static boolean qsysServesMethod(String method)