Package jline.solvers.ctmc.analyzers

Class Solver_ctmc_analyzer

java.lang.Object

jline.solvers.ctmc.analyzers.Solver_ctmc_analyzer

public class Solver_ctmc_analyzer
extends Object

Constructor Summary

Constructors

Constructor	Description
Solver_ctmc_analyzer(SolverCTMC solverCTMC)

Method Summary

Modifier and Type	Method	Description
static SolverCTMC.AnalyzerResult	solver_ctmc_analyzer(NetworkStruct snInput, SolverOptions options)

Methods inherited from class java.lang.Object

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

Constructor Details

Solver_ctmc_analyzer

public Solver_ctmc_analyzer(SolverCTMC solverCTMC)

Method Details

solver_ctmc_analyzer

public static SolverCTMC.AnalyzerResult solver_ctmc_analyzer(NetworkStruct snInput,
 SolverOptions options)