Package jline.api.spn

Class Spn_siphons.SpnSiphons

java.lang.Object
jline.api.spn.Spn_siphons.SpnSiphons
Enclosing class:
Spn_siphons
public static class Spn_siphons.SpnSiphons extends Object
The minimal siphons, in level coordinates.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    boolean
    commoner
    Every minimal siphon contains a marked trap.
    long[]
    m0
    The initial marking.
    int[]
    places
    Node indices (0-based) of the places, in level order.
    int[][]
    S
    S[i][l]: 1 when level l is in minimal siphon i (size, then lexicographic order).
    boolean[]
    trapped
    True where the siphon contains a trap marked in m0.

  • Constructor Summary

    Constructors
    Constructor
    Description
    SpnSiphons()
     

  • 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 (0-based) of the places, in level order.

    • S

      public int[][] S
      S[i][l]: 1 when level l is in minimal siphon i (size, then lexicographic order).

    • trapped

      public boolean[] trapped
      True where the siphon contains a trap marked in m0.

    • commoner

      public boolean commoner
      Every minimal siphon contains a marked trap.

    • m0

      public long[] m0
      The initial marking.

  • Constructor Details

    • SpnSiphons

      public SpnSiphons()