Package net.sf.tweety.arg.adf.util
Class ThreeValuedBitSet
- java.lang.Object
-
- net.sf.tweety.arg.adf.util.ThreeValuedBitSet
-
public final class ThreeValuedBitSet extends java.lang.ObjectInspired byBitSetbut with three values.- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description ThreeValuedBitSet(int size)Creates a new bitset with the specified size and all values undefined.
-
Method Summary
Modifier and Type Method Description booleanallTrue()voidclear(int index)Sets the value at position to undecided resp.java.lang.Booleanget(int i)java.lang.Booleanincrement(int i)Increments the value at the specified position.voidset(int i, java.lang.Boolean value)intsize()java.lang.StringtoString()
-
-
-
Method Detail
-
increment
public java.lang.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 java.lang.Boolean get(int i)
-
set
public void set(int i, java.lang.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 java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-