Package org.jacop.constraints.table

Class ReversibleSparseBitSet

java.lang.Object

org.jacop.constraints.table.ReversibleSparseBitSet

public class ReversibleSparseBitSet
extends java.lang.Object

ReversibleSparseBitSet implements the main data structure for table constraint.

Version:

4.8

Field Summary

Fields

Modifier and Type	Field	Description
private int[]	index
private TimeStamp<java.lang.Integer>	limit
private long[]	mask
(package private) TimeStamp<long[]>	words

Constructor Summary

Constructors

Constructor	Description
ReversibleSparseBitSet()
ReversibleSparseBitSet(Store store, IntVar[] x, int[][] tuple)

Method Summary

Modifier and Type	Method	Description
(package private) void	addToMask(long[] m)
(package private) void	clearMask()
(package private) void	init(Store store, long[] w)
(package private) int	intersectIndex(long[] m)
(package private) void	intersectWithMask()
(package private) boolean	isEmpty()
(package private) int	noWords()
(package private) void	reverseMask()
private long[]	setBit(int n, long[] a)
java.lang.String	toString()
private boolean	validTuple(IntVar[] x, int[] t)

Methods inherited from class java.lang.Object

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

Field Detail

words

TimeStamp<long[]> words

index

private int[] index

limit

private TimeStamp<java.lang.Integer> limit

mask

private long[] mask

Constructor Detail

ReversibleSparseBitSet

public ReversibleSparseBitSet()

ReversibleSparseBitSet

public ReversibleSparseBitSet(Store store,
                              IntVar[] x,
                              int[][] tuple)

Method Detail

init

void init(Store store,
          long[] w)

setBit

private long[] setBit(int n,
                      long[] a)

validTuple

private boolean validTuple(IntVar[] x,
                           int[] t)

isEmpty

boolean isEmpty()

clearMask

void clearMask()

reverseMask

void reverseMask()

addToMask

void addToMask(long[] m)

intersectWithMask

void intersectWithMask()

intersectIndex

int intersectIndex(long[] m)

noWords

int noWords()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object