Package jline.api.mc

Class Dtmc_isfeasible

java.lang.Object

jline.api.mc.Dtmc_isfeasible

public final class Dtmc_isfeasible
extends Object

Method Summary

Modifier and Type	Method	Description
static int	dtmc_isfeasible(Matrix P)	Check if a matrix represents a feasible DTMC transition matrix

Methods inherited from class java.lang.Object

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

Method Details

dtmc_isfeasible

public static int dtmc_isfeasible(Matrix P)

Check if a matrix represents a feasible DTMC transition matrix

Parameters:

P - Transition matrix to check

Returns:

Feasibility tolerance level (0 if not feasible, higher values indicate better precision)