Package jline.api.mdd

Class MddStruct

java.lang.Object
jline.api.mdd.MddStruct
public class MddStruct extends Object
Plain-array export of an MDD, the input contract of Mdd_mcd.

Mirrors MDD.toStruct in MATLAB and MDD.to_struct in python.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    final int[]
    domain
    domain[k] is the number of local states at level k.
    final int
    K
    Number of variable levels.
    final int[]
    nnodes
    nnodes[k] is the live node count at level k.
    final int[][][]
    node
    node[k][p][v] is the child of arc v of level-k node id p+1: a level-(k+1) node id when k < K-1, or a terminal when k == K-1.
    final int
    root
    Id of the top (level-0) node; MDD.TERM_FALSE for the empty set.

  • Constructor Summary

    Constructors
    Constructor
    Description
    MddStruct(int K, int[] domain, int root, int[] nnodes, int[][][] node)
     

  • Method Summary

    Methods inherited from class java.lang.Object

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

  • Field Details

    • K

      public final int K
      Number of variable levels.

    • domain

      public final int[] domain
      domain[k] is the number of local states at level k.

    • root

      public final int root
      Id of the top (level-0) node; MDD.TERM_FALSE for the empty set.

    • nnodes

      public final int[] nnodes
      nnodes[k] is the live node count at level k.

    • node

      public final int[][][] node
      node[k][p][v] is the child of arc v of level-k node id p+1: a level-(k+1) node id when k < K-1, or a terminal when k == K-1.

  • Constructor Details

    • MddStruct

      public MddStruct(int K, int[] domain, int root, int[] nnodes, int[][][] node)