Package org.tweetyproject.arg.adf.util
Class ThreeValuedBitSet
java.lang.Object
org.tweetyproject.arg.adf.util.ThreeValuedBitSet
Inspired by
BitSet
but with three values.- Author:
- Mathias Hofer
-
Constructor Summary
ConstructorsConstructorDescriptionThreeValuedBitSet
(int size) Creates a new bitset with the specified size and all values undefined. -
Method Summary
-
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
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
-
set
-
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
-