Package jline.solvers.ctmc.analyzers

Class Solver_ctmc_qrf_analyzer

java.lang.Object

jline.solvers.ctmc.analyzers.Solver_ctmc_qrf_analyzer

public final class Solver_ctmc_qrf_analyzer
extends Object

Method Summary

Modifier and Type	Method	Description
static SolverCTMC.AnalyzerResult	solver_ctmc_qrf_analyzer(NetworkStruct sn, SolverOptions options)

Methods inherited from class java.lang.Object

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

Method Details

solver_ctmc_qrf_analyzer

public static SolverCTMC.AnalyzerResult solver_ctmc_qrf_analyzer(NetworkStruct sn,
 SolverOptions options)