net.sf.javabdd
Class BDDFactoryIntImpl.IntBDDVarSet

java.lang.Object
  extended by net.sf.javabdd.BDDVarSet
      extended by net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
Direct Known Subclasses:
BDDFactoryIntImpl.IntBDDVarSetWithFinalizer, BDDFactoryIntImpl.IntZDDVarSet, UberMicroFactory.Micro5VarSet
Enclosing class:
BDDFactoryIntImpl

public class BDDFactoryIntImpl.IntBDDVarSet
extends BDDVarSet


Nested Class Summary
 
Nested classes/interfaces inherited from class net.sf.javabdd.BDDVarSet
BDDVarSet.DefaultImpl
 
Constructor Summary
protected BDDFactoryIntImpl.IntBDDVarSet(int v)
           
 
Method Summary
protected  int do_intersect(int v1, int v2)
           
protected  int do_union(int v1, int v2)
           
protected  int do_unionvar(int v, int var)
           
 boolean equals(BDDVarSet that)
          Returns true if the sets are equal.
 void free()
           
 BDDFactory getFactory()
          Returns the factory that created this BDDVarSet.
 int hashCode()
           
 BDDVarSet id()
           
 BDDVarSet intersect(BDDVarSet b)
          Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
 BDDVarSet intersectWith(BDDVarSet b)
          Modifies this BDDVarSet to include all of the vars in the given set.
 boolean isEmpty()
           
 int size()
           
 int[] toArray()
           
 BDD toBDD()
           
 int[] toLevelArray()
           
 BDDVarSet union(BDDVarSet b)
          Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
 BDDVarSet union(int var)
          Returns a new BDDVarSet that is the union of the current BDDVarSet and the given variable.
 BDDVarSet unionWith(BDDVarSet b)
          Modifies this BDDVarSet to include all of the vars in the given set.
 BDDVarSet unionWith(int var)
          Modifies this BDDVarSet to include the given variable.
 
Methods inherited from class net.sf.javabdd.BDDVarSet
equals, getDomains, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

BDDFactoryIntImpl.IntBDDVarSet

protected BDDFactoryIntImpl.IntBDDVarSet(int v)
Method Detail

equals

public boolean equals(BDDVarSet that)
Description copied from class: BDDVarSet
Returns true if the sets are equal.

Specified by:
equals in class BDDVarSet
Parameters:
that - other set
Returns:
true if the sets are equal

free

public void free()
Specified by:
free in class BDDVarSet

getFactory

public BDDFactory getFactory()
Description copied from class: BDDVarSet

Returns the factory that created this BDDVarSet.

Specified by:
getFactory in class BDDVarSet
Returns:
factory that created this BDDVarSet

hashCode

public int hashCode()
Specified by:
hashCode in class BDDVarSet

id

public BDDVarSet id()
Specified by:
id in class BDDVarSet

do_intersect

protected int do_intersect(int v1,
                           int v2)

intersect

public BDDVarSet intersect(BDDVarSet b)
Description copied from class: BDDVarSet

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.

Specified by:
intersect in class BDDVarSet
Parameters:
b - BDDVarSet to union with
Returns:
a new BDDVarSet that is the union of the two sets

intersectWith

public BDDVarSet intersectWith(BDDVarSet b)
Description copied from class: BDDVarSet

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.

Specified by:
intersectWith in class BDDVarSet
Parameters:
b - BDDVarSet to union in
Returns:
this

isEmpty

public boolean isEmpty()
Specified by:
isEmpty in class BDDVarSet

size

public int size()
Specified by:
size in class BDDVarSet

toArray

public int[] toArray()
Specified by:
toArray in class BDDVarSet

toBDD

public BDD toBDD()
Specified by:
toBDD in class BDDVarSet

toLevelArray

public int[] toLevelArray()
Specified by:
toLevelArray in class BDDVarSet

do_unionvar

protected int do_unionvar(int v,
                          int var)

do_union

protected int do_union(int v1,
                       int v2)

union

public BDDVarSet union(BDDVarSet b)
Description copied from class: BDDVarSet

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.

Specified by:
union in class BDDVarSet
Parameters:
b - BDDVarSet to union with
Returns:
a new BDDVarSet that is the union of the two sets

union

public BDDVarSet union(int var)
Description copied from class: BDDVarSet

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.

Specified by:
union in class BDDVarSet
Returns:
a new BDDVarSet that includes the given variable

unionWith

public BDDVarSet unionWith(BDDVarSet b)
Description copied from class: BDDVarSet

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.

Specified by:
unionWith in class BDDVarSet
Parameters:
b - BDDVarSet to union in
Returns:
this

unionWith

public BDDVarSet unionWith(int var)
Description copied from class: BDDVarSet

Modifies this BDDVarSet to include the given variable. This modifies the current set in place.

Specified by:
unionWith in class BDDVarSet
Returns:
this


Copyright © 2003-2007 John Whaley. All Rights Reserved.