Package jline.api.mc

Class Ctmc_ssg_reachability

java.lang.Object

jline.api.mc.Ctmc_ssg_reachability

public final class Ctmc_ssg_reachability
extends Object

CTMC State Space Generator for Reachability Analysis.

Method Summary

Modifier and Type	Method	Description
static CtmcSsgReachabilityResult	ctmc_ssg_reachability(NetworkStruct sn, SolverOptions options)

Methods inherited from class java.lang.Object

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

Method Details

ctmc_ssg_reachability

public static CtmcSsgReachabilityResult ctmc_ssg_reachability(NetworkStruct sn,
 SolverOptions options)