Package com.github.javabdd

Class BDDBitVector

java.lang.Object
com.github.javabdd.BDDBitVector
Direct Known Subclasses:
BDDFactoryIntImpl.IntBDDBitVector
public abstract class BDDBitVector extends Object
Bit vector implementation for BDDs.

  • Field Details

    • bitvec

      protected BDD[] bitvec

  • Constructor Details

    • BDDBitVector

      protected BDDBitVector(int bitnum)

  • Method Details

    • initialize

      protected void initialize(boolean isTrue)

    • initialize

      protected void initialize(int val)

    • initialize

      protected void initialize(long val)

    • initialize

      protected void initialize(BigInteger val)

    • initialize

      protected void initialize(int offset, int step)

    • initialize

      protected void initialize(BDDDomain d)

    • initialize

      protected void initialize(int[] var)

    • getFactory

      public abstract BDDFactory getFactory()

    • copy

      public BDDBitVector copy()

    • coerce

      public BDDBitVector coerce(int bitnum)

    • isConst

      public boolean isConst()

    • val

      public int val()

    • free

      public void free()

    • map2

      public BDDBitVector map2(BDDBitVector that, BDDFactory.BDDOp op)

    • add

      public BDDBitVector add(BDDBitVector that)

    • sub

      public BDDBitVector sub(BDDBitVector that)

    • replaceWith

      public void replaceWith(BDDBitVector that)

    • shl

      public BDDBitVector shl(int pos, BDD c)

    • divmod

      public BDDBitVector divmod(long c, boolean which)

    • size

      public int size()

    • getBit

      public BDD getBit(int n)