org.jacop.core

Interfaces

• Backtrackable
• BacktrackableManager
• MutableVar
• MutableVarValue

Classes

• BooleanVar
• BoundDomainIntervalEnumeration
• BoundDomainValueEnumeration
• Domain
• IntDomain
• Interval
• IntervalBasedBacktrackableManager
• IntervalDomain
• IntervalDomainIntervalEnumeration
• IntervalDomainValueEnumeration
• IntervalEnumeration
• IntVar
• MutableDomain
• MutableDomainValue
• SimpleBacktrackableManager
• SmallDenseDomain
• SmallDenseDomainIntervalEnumeration
• SmallDenseDomainValueEnumeration
• Store
• SwitchesPruningLogging
• TimeStamp
• ValueEnumeration
• Var

Exceptions

• FailException