Package jline.api.mc
Class Ctmc_ssg_reachabilityKt
-
- All Implemented Interfaces:
public final class Ctmc_ssg_reachabilityKt
-
-
Method Summary
Modifier and Type Method Description final static CtmcSsgReachabilityResult
ctmc_ssg_reachability(NetworkStruct sn, SolverOptions options)
CTMC State Space Generator for Reachability Analysis Generates state spaces using reachability analysis for CTMC models. -
-
Method Detail
-
ctmc_ssg_reachability
final static CtmcSsgReachabilityResult ctmc_ssg_reachability(NetworkStruct sn, SolverOptions options)
CTMC State Space Generator for Reachability Analysis Generates state spaces using reachability analysis for CTMC models. This is used for models where not all states need to be generated, only reachable ones.
- Parameters:
sn
-Network structure
options
-Solver options
- Returns:
CtmcSsgReachabilityResult containing state spaces and updated network structure
-
-
-
-