|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object net.sf.javabdd.BDDVarSet net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
public class TypedBDDFactory.TypedBDDVarSet
Nested Class Summary |
---|
Nested classes/interfaces inherited from class net.sf.javabdd.BDDVarSet |
---|
BDDVarSet.DefaultImpl |
Constructor Summary | |
---|---|
protected |
TypedBDDFactory.TypedBDDVarSet(BDDVarSet bdd,
Set dom)
|
Method Summary | |
---|---|
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 that)
Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet. |
BDDVarSet |
intersectWith(BDDVarSet that)
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 that)
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 that)
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 |
---|
protected TypedBDDFactory.TypedBDDVarSet(BDDVarSet bdd, Set dom)
Method Detail |
---|
public void free()
free
in class BDDVarSet
public BDDFactory getFactory()
BDDVarSet
Returns the factory that created this BDDVarSet.
getFactory
in class BDDVarSet
public BDD toBDD()
toBDD
in class BDDVarSet
public BDDVarSet id()
id
in class BDDVarSet
public BDDVarSet intersect(BDDVarSet that)
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.
intersect
in class BDDVarSet
that
- BDDVarSet to union with
public BDDVarSet intersectWith(BDDVarSet that)
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.
intersectWith
in class BDDVarSet
that
- BDDVarSet to union in
public boolean isEmpty()
isEmpty
in class BDDVarSet
public int size()
size
in class BDDVarSet
public int[] toArray()
toArray
in class BDDVarSet
public int[] toLevelArray()
toLevelArray
in class BDDVarSet
public BDDVarSet union(BDDVarSet that)
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.
union
in class BDDVarSet
that
- BDDVarSet to union with
public BDDVarSet union(int var)
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.
union
in class BDDVarSet
public BDDVarSet unionWith(BDDVarSet that)
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.
unionWith
in class BDDVarSet
that
- BDDVarSet to union in
public BDDVarSet unionWith(int var)
BDDVarSet
Modifies this BDDVarSet to include the given variable. This modifies the current set in place.
unionWith
in class BDDVarSet
public int hashCode()
hashCode
in class BDDVarSet
public boolean equals(BDDVarSet that)
BDDVarSet
equals
in class BDDVarSet
that
- other set
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |