Package jline.api.spn

Class Spn_tinvariants.SpnTInvariants

java.lang.Object

jline.api.spn.Spn_tinvariants.SpnTInvariants

Enclosing class:

Spn_tinvariants

public static class Spn_tinvariants.SpnTInvariants
extends Object

The T-invariant basis of a net, in event coordinates.

Field Summary

Fields

Modifier and Type	Field	Description
int[]	modes	Mode index (0-based) of each event.
int[]	transitions	Node index (0-based) of the transition of each event.
long[][]	X	X[i][e]: firing count of event e in minimal-support invariant i.

Constructor Summary

Constructors

Constructor	Description
SpnTInvariants()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

transitions

public int[] transitions

Node index (0-based) of the transition of each event.

modes

public int[] modes

Mode index (0-based) of each event.

X

public long[][] X

X[i][e]: firing count of event e in minimal-support invariant i.

Constructor Details

SpnTInvariants

public SpnTInvariants()