Package org.jacop.constraints.table
Class ReversibleSparseBitSet
java.lang.Object
org.jacop.constraints.table.ReversibleSparseBitSet
ReversibleSparseBitSet implements the main data structure for table constraint.
- Version:
- 4.10
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription(package private) void
addToMask
(long[] m) (package private) void
(package private) void
(package private) int
intersectIndex
(long[] m) (package private) void
(package private) boolean
isEmpty()
(package private) int
noWords()
(package private) void
private long[]
setBit
(int n, long[] a) toString()
private boolean
validTuple
(IntVar[] x, int[] t)
-
Field Details
-
words
TimeStamp<long[]> words -
index
private int[] index -
limit
-
mask
private long[] mask
-
-
Constructor Details
-
ReversibleSparseBitSet
public ReversibleSparseBitSet() -
ReversibleSparseBitSet
-
-
Method Details
-
init
-
setBit
private long[] setBit(int n, long[] a) -
validTuple
-
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
-