choco.kernel.solver.variables.set
Interface SetDomain
- All Superinterfaces:
- Domain, IPretty
- All Known Implementing Classes:
- SetDomainImpl
public interface SetDomain
- extends Domain
isInstantiated
boolean isInstantiated()
getKernelDomain
SetSubDomain getKernelDomain()
getEnveloppeDomain
SetSubDomain getEnveloppeDomain()
addToKernel
boolean addToKernel(int x,
SConstraint cause,
boolean forceAwake)
throws ContradictionException
- Throws:
ContradictionException
remFromEnveloppe
boolean remFromEnveloppe(int x,
SConstraint cause,
boolean forceAwake)
throws ContradictionException
- Throws:
ContradictionException
instantiate
boolean instantiate(int[] x,
SConstraint cause,
boolean forceAwake)
throws ContradictionException
- Throws:
ContradictionException
getKernelIterator
DisposableIntIterator getKernelIterator()
getEnveloppeIterator
DisposableIntIterator getEnveloppeIterator()
getOpenDomainIterator
DisposableIntIterator getOpenDomainIterator()
Copyright © 2012. All Rights Reserved.