Class Hierarchy
- java.lang.Object
- org.jacop.core.Domain
- org.jacop.set.core.SetDomain
- org.jacop.set.core.BoundSetDomain (implements java.lang.Cloneable)
- org.jacop.set.core.SetDomain
- org.jacop.core.ValueEnumeration
- org.jacop.set.core.SetDomainValueEnumeration
- org.jacop.core.Var (implements org.jacop.core.Backtrackable)
- org.jacop.set.core.SetVar
- org.jacop.core.Domain