choco.set.var
Class SetDomainImpl

java.lang.Object
  choco.AbstractEntity
      choco.set.var.SetDomainImpl

All Implemented Interfaces:

Entity, SetDomain

public class SetDomainImpl
extends AbstractEntity
implements SetDomain

Created by IntelliJ IDEA. User: Hadrien Date: 6 juin 2004 Time: 14:20:54 To change this template use File | Settings | File Templates.

Nested Class Summary

protected class	SetDomainImpl.SetDomainIterator
protected class	SetDomainImpl.SetOpenDomainIterator

Field Summary

protected SetVar

variable

Fields inherited from class choco.AbstractEntity

hook, problem

Constructor Summary

SetDomainImpl(SetVar v, int a, int b)

Method Summary

protected boolean	_addToKernel(int x)
protected boolean	_instantiate(int[] values)
protected boolean	_remFromEnveloppe(int x)
boolean	addToKernel(int x)
protected boolean	addToKernel(int x, int idx)
boolean	canBeInstantiatedTo(int[] setVal)
BitSetEnumeratedDomain	getEnveloppeDomain()
IntIterator	getEnveloppeIterator()
BitSetEnumeratedDomain	getKernelDomain()
IntIterator	getKernelIterator()
IntIterator	getOpenDomainIterator()
protected boolean	instantiate(int[] x, int idx)
boolean	isInstantiated()
boolean	isInstantiatedTo(int[] setVal)
java.lang.String	pretty() pretty printing of the object.
protected boolean	remFromEnveloppe(int x, int idx)

Methods inherited from class choco.AbstractEntity

getProblem

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

variable

protected SetVar variable

Constructor Detail

SetDomainImpl

public SetDomainImpl(SetVar v,
                     int a,
                     int b)

Method Detail

getKernelDomain

public BitSetEnumeratedDomain getKernelDomain()

Specified by:

getKernelDomain in interface SetDomain

getEnveloppeDomain

public BitSetEnumeratedDomain getEnveloppeDomain()

Specified by:

getEnveloppeDomain in interface SetDomain

addToKernel

public boolean addToKernel(int x)

isInstantiated

public boolean isInstantiated()

isInstantiatedTo

public boolean isInstantiatedTo(int[] setVal)

canBeInstantiatedTo

public boolean canBeInstantiatedTo(int[] setVal)

pretty

public java.lang.String pretty()

Description copied from interface: Entity

pretty printing of the object. This String is not constant and may depend on the context.

Specified by:

pretty in interface Entity

Overrides:

pretty in class AbstractEntity

Returns:

a readable string representation of the object

remFromEnveloppe

protected boolean remFromEnveloppe(int x,
                                   int idx)
                            throws ContradictionException

Throws:

ContradictionException

addToKernel

protected boolean addToKernel(int x,
                              int idx)
                       throws ContradictionException

Throws:

ContradictionException

instantiate

protected boolean instantiate(int[] x,
                              int idx)
                       throws ContradictionException

Throws:

ContradictionException

_remFromEnveloppe

protected boolean _remFromEnveloppe(int x)
                             throws ContradictionException

Throws:

ContradictionException

_addToKernel

protected boolean _addToKernel(int x)
                        throws ContradictionException

Throws:

ContradictionException

_instantiate

protected boolean _instantiate(int[] values)
                        throws ContradictionException

Throws:

ContradictionException

getKernelIterator

public IntIterator getKernelIterator()

Specified by:

getKernelIterator in interface SetDomain

getEnveloppeIterator

public IntIterator getEnveloppeIterator()

Specified by:

getEnveloppeIterator in interface SetDomain

getOpenDomainIterator

public IntIterator getOpenDomainIterator()

Specified by:

getOpenDomainIterator in interface SetDomain