choco.palm.dbt.integer
Class BitVectorIntDomain

java.lang.Object
  choco.palm.dbt.integer.BitVectorIntDomain

public class BitVectorIntDomain
extends java.lang.Object

Constructor Summary

BitVectorIntDomain(Var var, int dinf, int dsup)

Method Summary

void	addDomainVal(int z)
boolean	containsValInDomain(int x)
int[]	domainList()
int[]	domainSet()
int	firstElement()
int	getBucketSize()
int	getInf()
int	getOffset()
int	getSize()
int	getSup()
int[]	removedList()
java.lang.Boolean	removeDomainVal(int z)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BitVectorIntDomain

public BitVectorIntDomain(Var var,
                          int dinf,
                          int dsup)

Method Detail

domainList

public int[] domainList()

domainSet

public int[] domainSet()

removedList

public int[] removedList()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getBucketSize

public int getBucketSize()

getSize

public int getSize()

containsValInDomain

public boolean containsValInDomain(int x)

firstElement

public int firstElement()

getInf

public int getInf()

getSup

public int getSup()

addDomainVal

public void addDomainVal(int z)

removeDomainVal

public java.lang.Boolean removeDomainVal(int z)

getOffset

public int getOffset()

Returns:

the offset (value of the first element in the domain)