Package jline.api.spn

Class Spn_reachprops.SpnReachProps

java.lang.Object

jline.api.spn.Spn_reachprops.SpnReachProps

Enclosing class:

Spn_reachprops

public static class Spn_reachprops.SpnReachProps
extends Object

The behavioural verdicts.

Field Summary

Fields

Modifier and Type	Field	Description
double[]	bound
int	bounded
int[]	dead
int	deadlockfree
int[]	deadlocks	Indices (0-based) into graph.M of the dead markings found.
long[][]	deadmarkings
Spn_reachgraph.SpnReachGraph	graph
int[]	live
int	nbscc	Number of bottom strongly connected components, -1 when incomplete.
int	nstates
int	reversible
String	status

Constructor Summary

Constructors

Constructor	Description
SpnReachProps()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

status

public String status

nstates

public int nstates

bounded

public int bounded

bound

public double[] bound

deadlockfree

public int deadlockfree

deadlocks

public int[] deadlocks

Indices (0-based) into graph.M of the dead markings found.

deadmarkings

public long[][] deadmarkings

live

public int[] live

dead

public int[] dead

reversible

public int reversible

nbscc

public int nbscc

Number of bottom strongly connected components, -1 when incomplete.

graph

public Spn_reachgraph.SpnReachGraph graph

Constructor Details

SpnReachProps

public SpnReachProps()