jdd.bdd.sets

Class BDDSet

java.lang.Object

jdd.bdd.sets.BDDSet

All Implemented Interfaces:

Set

public class BDDSet
extends Object
implements Set

BDD representation of a set (of a product of few small subsets)

Method Summary

Modifier and Type	Method and Description
void	assign(Set s)
double	cardinality()
void	clear() empties the set.
int	compare(Set s_) retruns 0 if equal, -1 if this \subset s, +1 if s \subset this, Integer.MAX_VALUE otherwise
Set	copy() creates a deep copy of this set.
Set	diff(Set s_) NOTE: sets must be from the same universe
SetEnumeration	elements()
boolean	equals(Set s) NOTE: the sets must be created with the same type of universe!
void	free() free the memory used by this set.
boolean	insert(int[] assignments) returns true if assignment was not alread in the set
static void	internal_test() testbench.
Set	intersection(Set s)
Set	invert()
boolean	isEmpty()
boolean	member(int[] assignment) fast membership test.
boolean	memberDC(int[] assignment) returns true if assignment is in the set.
boolean	remove(int[] assignment) returns true if assignment was in the set
void	show(String name)
Set	union(Set s)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

cardinality

public double cardinality()

Specified by:

cardinality in interface Set

Returns:

the cardinality of the set

free

public void free()

Description copied from interface: Set

free the memory used by this set. make the set invalid after the call!

NOTE: you can/need not to call this function after theUniverse has been freed!

Specified by:

free in interface Set

See Also:

Universe

equals

public boolean equals(Set s)

Description copied from interface: Set

NOTE: the sets must be created with the same type of universe!

Specified by:

equals in interface Set

Returns:

true if the two sets are equal.

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Set

Returns:

true if the set is empty

assign

public void assign(Set s)

clear

public void clear()

Description copied from interface: Set

empties the set.

NOTE: this does not return the memory allocated by this set. to do that, call free()

Specified by:

clear in interface Set

See Also:

Set.free()

memberDC

public boolean memberDC(int[] assignment)

returns true if assignment is in the set. allows dont cares

member

public boolean member(int[] assignment)

fast membership test. no dont cares

Specified by:

member in interface Set

Returns:

true if value is in the set

remove

public boolean remove(int[] assignment)

returns true if assignment was in the set

Specified by:

remove in interface Set

Returns:

true if the value was previously in the set and is now removed.

insert

public boolean insert(int[] assignments)

returns true if assignment was not alread in the set

Specified by:

insert in interface Set

Returns:

true if the value was previously not in the set.

copy

public Set copy()

Description copied from interface: Set

creates a deep copy of this set.

Specified by:

copy in interface Set

invert

public Set invert()

Specified by:

invert in interface Set

Returns:

the inverse set. that is, (UNIVERSE - this set)

union

public Set union(Set s)

Specified by:

union in interface Set

Returns:

union of two sets (sets must be from the same universe)

intersection

public Set intersection(Set s)

Specified by:

intersection in interface Set

Returns:

intersection of two sets (sets must be from the same universe)

diff

public Set diff(Set s_)

Description copied from interface: Set

NOTE: sets must be from the same universe

Specified by:

diff in interface Set

Returns:

difference between this set and s1. i.e. [this - s1]

compare

public int compare(Set s_)

retruns 0 if equal, -1 if this \subset s, +1 if s \subset this, Integer.MAX_VALUE otherwise

Specified by:

compare in interface Set

Returns:

0 if equal, -1 if this \subset s, +1 if s \subset this, Integer.MAX_VALUE otherwise

elements

public SetEnumeration elements()

Specified by:

elements in interface Set

Returns:

the special set enumerator for this type of set.

show

public void show(String name)

internal_test

public static void internal_test()

testbench. do not call