| java.lang.Object
 gov.nasa.jpf.util.Md5Set
| Md5Set | | public class Md5Set (Code) | | A specialized set that can store Md5 checksums efficiently. It will also
assign each element of the set a unique and sequential integer Id (0 to the
size of the set - 1).
This implementation does not allocate an individual object for each element
of the set.
We balance the tree using red-black balancing after each add operation.
The tree will stay roughly balanced.
author:
Owen O'Malley |
| Field Summary | |
| final public static int | NULL
|
| Constructor Summary | |
| public | Md5Set()
Create a set with a default initial capacity. | | public | Md5Set(int initial_capacity)
Create a set with the given initial capacity. |
| Method Summary | |
| public boolean | add(byte[] val)
Add the given value to the set, if it is not already present. | | public int | getId(byte[] val)
| | public static void | main(String[] arg)
A test driver that takes each command line argument and puts it into the
set. | | public int | size()
Get the number of elements in the set. |
| NULL | | final public static int NULL(Code) | | |
| Md5Set | | public Md5Set()(Code) | | Create a set with a default initial capacity.
|
| Md5Set | | public Md5Set(int initial_capacity)(Code) | | Create a set with the given initial capacity.
|
| add | | public boolean add(byte[] val)(Code) | | Add the given value to the set, if it is not already present.
true if the value was not already in the set. |
| getId | | public int getId(byte[] val)(Code) | | |
| main | | public static void main(String[] arg)(Code) | | A test driver that takes each command line argument and puts it into the
set. The checkTree function, which checks for a valid red-black tree, is
called after each addition.
|
| size | | public int size()(Code) | | Get the number of elements in the set.
|
|
|