Package JaCoP.set.core

Class Summary

BoundSetDomain	Defines a set interval determined by a least upper bound(lub) and a greatest lower bound(glb).
SetDomain	Defines a set interval determined by a least upper bound(lub) and a greatest lower bound(glb).
SetDomainValueEnumeration	Defines a methods for enumerating values contained in the SetDomain.
SetVar	Defines a Finite Domain Variable (FDV) and related operations on it.