Package com.github.javabdd

Class BDDVarSet

java.lang.Object
com.github.javabdd.BDDVarSet
Direct Known Subclasses:
BDDFactoryIntImpl.IntBDDVarSet, BDDVarSet.DefaultImpl
public abstract class BDDVarSet extends Object
Some BDD methods, namely exist(), forall(), unique(), relprod(), applyAll(), applyEx(), applyUni(), and satCount() take a BDDVarSet argument.

  • Constructor Details

    • BDDVarSet

      public BDDVarSet()

  • Method Details

    • getFactory

      public abstract BDDFactory getFactory()
      Returns the factory that created this BDDVarSet.
      Returns:
      factory that created this BDDVarSet

    • toBDD

      public abstract BDD toBDD()

    • id

      public abstract BDDVarSet id()

    • free

      public abstract void free()

    • size

      public abstract int size()

    • isEmpty

      public abstract boolean isEmpty()

    • toArray

      public abstract int[] toArray()

    • toLevelArray

      public abstract int[] toLevelArray()

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • getDomains

      public BDDDomain[] getDomains()
      Scans this BDD and copies the stored variables into an array of BDDDomains. The domains returned are guaranteed to be in ascending order.

      Compare to fdd_scanset.

      Returns:
      int[]

    • union

      public abstract BDDVarSet union(BDDVarSet b)
      Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet. This constructs a new set; neither the current nor the given BDDVarSet is modified.
      Parameters:
      b - BDDVarSet to union with
      Returns:
      a new BDDVarSet that is the union of the two sets

    • union

      public abstract BDDVarSet union(int var)
      Returns a new BDDVarSet that is the union of the current BDDVarSet and the given variable. This constructs a new set; the current BDDVarSet is not modified.
      Parameters:
      var - variable to add to set
      Returns:
      a new BDDVarSet that includes the given variable

    • unionWith

      public abstract BDDVarSet unionWith(BDDVarSet b)
      Modifies this BDDVarSet to include all of the vars in the given set. This modifies the current set in place and consumes the given set.
      Parameters:
      b - BDDVarSet to union in
      Returns:
      this

    • unionWith

      public abstract BDDVarSet unionWith(int var)
      Modifies this BDDVarSet to include the given variable. This modifies the current set in place.
      Parameters:
      var - variable to add to set
      Returns:
      this

    • intersect

      public abstract BDDVarSet intersect(BDDVarSet b)
      Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet. This constructs a new set; neither the current nor the given BDDVarSet is modified.
      Parameters:
      b - BDDVarSet to union with
      Returns:
      a new BDDVarSet that is the union of the two sets

    • intersectWith

      public abstract BDDVarSet intersectWith(BDDVarSet b)
      Modifies this BDDVarSet to include all of the vars in the given set. This modifies the current set in place and consumes the given set.
      Parameters:
      b - BDDVarSet to union in
      Returns:
      this

    • hashCode

      public abstract int hashCode()
      Overrides:
      hashCode in class Object

    • equalsBDDVarSet

      public abstract boolean equalsBDDVarSet(BDDVarSet that)
      Returns true if the sets are equal.
      Parameters:
      that - other set
      Returns:
      true if the sets are equal

    • equals

      public final boolean equals(Object o)
      Overrides:
      equals in class Object