Package jline.api.spn

Class Spn_sinvariants.SpnInvariants

java.lang.Object

jline.api.spn.Spn_sinvariants.SpnInvariants

Enclosing class:

Spn_sinvariants

public static class Spn_sinvariants.SpnInvariants
extends Object

The invariant basis of a net, in place-level coordinates.

Field Summary

Fields

Modifier and Type	Field	Description
long[]	m0	The initial marking the load vector was taken against.
int[]	places	Node indices of the places, in level order.
long[][]	S	S[i][p]: weight of place level p in minimal-support invariant i.
long[]	V	V = S m0, the load vector.

Constructor Summary

Constructors

Constructor	Description
SpnInvariants()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

places

public int[] places

Node indices of the places, in level order.

S

public long[][] S

S[i][p]: weight of place level p in minimal-support invariant i.

V

public long[] V

V = S m0, the load vector.

m0

public long[] m0

The initial marking the load vector was taken against.

Constructor Details

SpnInvariants

public SpnInvariants()