jdd.util.sets

Interface Universe

All Known Implementing Classes:

BDDUniverse

public interface Universe

This is the generic interface for finite universe consisting of a set of subdomain.

This is a good representation for n-tupples in a discrete space. The space is specified during construction with an int-vector of length n, defining the number of elements in each subdomain. Each element in the space is represented by an int-vector of length n.

See Also:

Set, BDDUniverse

Method Summary

Modifier and Type	Method and Description
Set	createEmptySet() create a new set that is empty
Set	createFullSet() create a set that contains all possible elements
double	domainSize() The domainSize if the size of all elements in the universe.
void	free() cleanup the universe and die.
int	subdomainCount()

Method Detail

createEmptySet

Set createEmptySet()

create a new set that is empty

Returns:

an empty set

createFullSet

Set createFullSet()

create a set that contains all possible elements

Returns:

a set that holds all the elements in the universe.

domainSize

double domainSize()

The domainSize if the size of all elements in the universe.

Returns:

the size of this domain.

subdomainCount

int subdomainCount()

Returns:

the number of sub-domains used in this universe

free

void free()

cleanup the universe and die.

NOTE: you must call this function in order to free all used memory. a call to free() also frees all Set and SetEnumeration objects (making then invalid!)

See Also:

Set.free()