Package org.jacop.set.core
-
Class Summary Class Description 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.