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
 
 -