Package jline.api.mdd

Class MddStats

java.lang.Object
jline.api.mdd.MddStats
public class MddStats extends Object
Storage description of the set held in an MDD.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    final long
    explicitInts
    Integers an explicit state list would need, |S| * K.
    final int
    levels
    Number of variable levels.
    final long
    mddInts
    Integers in the reachable arc arrays, the diagram footprint.
    final int[]
    nodesPerLevel
    Reachable node count per level.
    final int
    numNodes
    Reachable non-terminal nodes.
    final long
    numStates
    |S|.
    final int
    tableNodes
    Nodes physically held in the tables, dead ones included.

  • Constructor Summary

    Constructors
    Constructor
    Description
    MddStats(int levels, int[] nodesPerLevel, int numNodes, int tableNodes, long numStates, long mddInts, long explicitInts)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    double
    compression()
    Explicit footprint divided by the diagram footprint.

    Methods inherited from class java.lang.Object

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

  • Field Details

    • levels

      public final int levels
      Number of variable levels.

    • nodesPerLevel

      public final int[] nodesPerLevel
      Reachable node count per level.

    • numNodes

      public final int numNodes
      Reachable non-terminal nodes.

    • tableNodes

      public final int tableNodes
      Nodes physically held in the tables, dead ones included.

    • numStates

      public final long numStates
      |S|.

    • mddInts

      public final long mddInts
      Integers in the reachable arc arrays, the diagram footprint.

    • explicitInts

      public final long explicitInts
      Integers an explicit state list would need, |S| * K.

  • Constructor Details

    • MddStats

      public MddStats(int levels, int[] nodesPerLevel, int numNodes, int tableNodes, long numStates, long mddInts, long explicitInts)

  • Method Details

    • compression

      public double compression()
      Explicit footprint divided by the diagram footprint.