Package jline.solvers.ssa.handlers
Class Solver_ssa_reachabilityKt
-
- All Implemented Interfaces:
public final class Solver_ssa_reachabilityKt
-
-
Method Summary
Modifier and Type Method Description final static Triple<Matrix, Matrix, NetworkStruct>solver_ssa_reachability(NetworkStruct sn, SolverOptions options)Kotlin migration of solver_ssa_reachability. -
-
Method Detail
-
solver_ssa_reachability
final static Triple<Matrix, Matrix, NetworkStruct> solver_ssa_reachability(NetworkStruct sn, SolverOptions options)
Kotlin migration of solver_ssa_reachability.m Computes the reachable state space for SSA analysis
- Parameters:
sn- Network structureoptions- Solver options- Returns:
Triple containing SSq (state space matrix), SSh (state hash indices), and updated sn
-
-
-
-