Package org.tweetyproject.arg.adf.util

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 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
boolean	allTrue()	Checks if all elements in the bitSet are true.
void	clear(int index)	Sets the value at position to undecided resp.
Boolean	get(int i)	Getter
Boolean	increment(int i)	Increments the value at the specified position.
void	set(int i, Boolean value)	Setter value
int	size()	Return size
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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)

Getter

Parameters:

i - index

Returns:

bit at index

set

public void set(int i,
 Boolean value)

Setter value

Parameters:

i - index

value - value to set

allTrue

public boolean allTrue()

Checks if all elements in the bitSet are true.

Returns:

true if all elements in the bitSet are true, otherwise false.

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()

Return size

Returns:

size

toString

public String toString()

Overrides:

toString in class Object