Class BitVectorVariable

    • Constructor Detail

      • BitVectorVariable

        public BitVectorVariable()
    • Method Detail

      • addAll

        public void addAll​(BitVector B)
        Add all the bits in B to this bit vector
      • addAll

        public void addAll​(BitVectorVariable other)
        Add all the bits from other to this bit vector
      • sameValue

        public boolean sameValue​(BitVectorVariable other)
        Does this variable have the same value as another?
      • set

        public void set​(int b)
        Set a particular bit
        Parameters:
        b - the bit to set
      • get

        public boolean get​(int b)
        Is a particular bit set?
        Parameters:
        b - the bit to check
      • getValue

        public @Nullable IntSet getValue()
        Returns:
        the value of this variable as a bit vector ... null if the bit vector is empty.
      • clear

        public void clear​(int i)
      • populationCount

        public int populationCount()