Package com.github.javabdd

Class BDDVarSet.DefaultImpl

java.lang.Object

com.github.javabdd.BDDVarSet

com.github.javabdd.BDDVarSet.DefaultImpl

Enclosing class:

BDDVarSet

public static class BDDVarSet.DefaultImpl
extends BDDVarSet

Default implementation of BDDVarSet based on BDDs.

Nested Class Summary

Nested classes/interfaces inherited from class com.github.javabdd.BDDVarSet

BDDVarSet.DefaultImpl

Field Summary

Fields

Modifier and Type	Field	Description
protected BDD	b	BDD representation of the set of variables.

Constructor Summary

Constructors

Constructor	Description
DefaultImpl(BDD b)	Construct a BDDVarSet backed by the given BDD.

Method Summary

Modifier and Type	Method	Description
boolean	equalsBDDVarSet(BDDVarSet s)	Returns true if the sets are equal.
boolean	equalsDefaultImpl(BDDVarSet.DefaultImpl s)
void	free()
BDDFactory	getFactory()	Returns the factory that created this BDDVarSet.
int	hashCode()
BDDVarSet	id()
BDDVarSet	intersect(BDDVarSet s)	Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	intersectWith(BDDVarSet s)	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(int var)	Returns a new BDDVarSet that is the union of the current BDDVarSet and the given variable.
BDDVarSet	union(BDDVarSet s)	Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
BDDVarSet	unionWith(int var)	Modifies this BDDVarSet to include the given variable.
BDDVarSet	unionWith(BDDVarSet s)	Modifies this BDDVarSet to include all of the vars in the given set.

Methods inherited from class com.github.javabdd.BDDVarSet

equals, getDomains, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

b

protected BDD b

BDD representation of the set of variables. Treated like a linked list of variables.

Constructor Detail

DefaultImpl

public DefaultImpl(BDD b)

Construct a BDDVarSet backed by the given BDD. Ownership of the given BDD is transferred to this BDDVarSet, so you should not touch it after construction!

Parameters:

b - BDD to use in constructing BDDVarSet

Method Detail

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

id

public BDDVarSet id()

Specified by:

id in class BDDVarSet

intersect

public BDDVarSet intersect(BDDVarSet s)

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:

s - BDDVarSet to union with

Returns:

a new BDDVarSet that is the union of the two sets

intersectWith

public BDDVarSet intersectWith(BDDVarSet s)

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:

s - 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

union

public BDDVarSet union(BDDVarSet s)

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:

s - 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

Parameters:

var - variable to add to set

Returns:

a new BDDVarSet that includes the given variable

unionWith

public BDDVarSet unionWith(BDDVarSet s)

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:

s - 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

Parameters:

var - variable to add to set

Returns:

this

hashCode

public int hashCode()

Specified by:

hashCode in class BDDVarSet

equalsBDDVarSet

public boolean equalsBDDVarSet(BDDVarSet s)

Description copied from class: BDDVarSet

Returns true if the sets are equal.

Specified by:

equalsBDDVarSet in class BDDVarSet

Parameters:

s - other set

Returns:

true if the sets are equal

equalsDefaultImpl

public boolean equalsDefaultImpl(BDDVarSet.DefaultImpl s)