Class ReversibleSparseBitSet

java.lang.Object
org.jacop.constraints.table.ReversibleSparseBitSet

public class ReversibleSparseBitSet extends Object
ReversibleSparseBitSet implements the main data structure for table constraint.
Version:
4.10
  • Field Details

    • words

      TimeStamp<long[]> words
    • index

      private int[] index
    • limit

      private TimeStamp<Integer> limit
    • mask

      private long[] mask
  • Constructor Details

    • ReversibleSparseBitSet

      public ReversibleSparseBitSet()
    • ReversibleSparseBitSet

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

    • 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 String toString()
      Overrides:
      toString in class Object