Package net.sf.tweety.arg.adf.util
Class ThreeValuedBitSet
- java.lang.Object
-
- net.sf.tweety.arg.adf.util.ThreeValuedBitSet
-
-
Method Detail
-
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()
-
-