Package jline.solvers.ssa.handlers

Class Solver_ssa_reachability

java.lang.Object

jline.solvers.ssa.handlers.Solver_ssa_reachability

public final class Solver_ssa_reachability
extends Object

Kotlin migration of solver_ssa_reachability.m Computes the reachable state space for SSA analysis

Method Summary

Modifier and Type	Method	Description
static kotlin.Triple<Matrix,Matrix,NetworkStruct>	solver_ssa_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

solver_ssa_reachability

public static kotlin.Triple<Matrix,Matrix,NetworkStruct> solver_ssa_reachability(NetworkStruct sn,
 SolverOptions options)