Class BitVectorVariable

    • Constructor Detail

      • BitVectorVariable

        public BitVectorVariable()
    • Method Detail

      • copyState

        public void copyState​(BitVectorVariable other)
        Description copied from interface: IVariable
        Set this variable to have the same state as another one
      • 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?
      • toString

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