Class ReversibleSparseBitSet


  • public class ReversibleSparseBitSet
    extends java.lang.Object
    ReversibleSparseBitSet implements the main data structure for table constraint.
    Version:
    4.7
    • Field Detail

      • 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