Package jline.api.spn

Class Spn_traps.SpnTraps

java.lang.Object
jline.api.spn.Spn_traps.SpnTraps
Enclosing class:
Spn_traps
public static class Spn_traps.SpnTraps extends Object
The minimal traps, in level coordinates.

  • Field Summary

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

  • Constructor Summary

    Constructors
    Constructor
    Description
    SpnTraps()
     

  • 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.

    • Q

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

    • marked

      public boolean[] marked
      True where m0 puts a token in the trap.

    • m0

      public long[] m0
      The initial marking.

  • Constructor Details

    • SpnTraps

      public SpnTraps()