choco.kernel.solver.variables.set
Interface SetDomain

All Superinterfaces:
Domain, IPretty
All Known Implementing Classes:
SetDomainImpl

public interface SetDomain
extends Domain


Method Summary
 boolean addToKernel(int x, SConstraint cause, boolean forceAwake)
           
 SetSubDomain getEnveloppeDomain()
           
 DisposableIntIterator getEnveloppeIterator()
           
 SetSubDomain getKernelDomain()
           
 DisposableIntIterator getKernelIterator()
           
 DisposableIntIterator getOpenDomainIterator()
           
 boolean instantiate(int[] x, SConstraint cause, boolean forceAwake)
           
 boolean isInstantiated()
           
 boolean remFromEnveloppe(int x, SConstraint cause, boolean forceAwake)
           
 
Methods inherited from interface choco.IPretty
pretty
 

Method Detail

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.