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
-
-
Constructor Summary
Constructors Constructor Description ReversibleSparseBitSet()
ReversibleSparseBitSet(Store store, IntVar[] x, int[][] tuple)
-
Method Summary
All Methods Instance Methods Concrete Methods 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)
-
-
-
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 classjava.lang.Object
-
-