Class ThreeValuedBitSet

java.lang.Object
org.tweetyproject.arg.adf.util.ThreeValuedBitSet

public final class ThreeValuedBitSet extends Object
Inspired by BitSet but with three values.
Author:
Mathias Hofer
  • Constructor Details

    • ThreeValuedBitSet

      public ThreeValuedBitSet(int size)
      Creates a new bitset with the specified size and all values undefined.
      Parameters:
      size - the fixed size of the bitset
  • Method Details

    • increment

      public Boolean increment(int i)
      Increments the value at the specified position. If the value is already true, it resets the current position and increments the one at i + 1.

      The order of the values is Undefined < False < True.

      Parameters:
      i - the position
      Returns:
      the new value at position i
    • get

      public Boolean get(int i)
    • set

      public void set(int i, Boolean value)
    • allTrue

      public boolean allTrue()
    • clear

      public void clear(int index)
      Sets the value at position to undecided resp. null
      Parameters:
      index - the index of the bit to clear
    • size

      public int size()
    • toString

      public String toString()
      Overrides:
      toString in class Object