gov.nasa.jpf.util

Class SortedArrayObjectSet<T extends Comparable<T>>

java.lang.Object

gov.nasa.jpf.util.SortedArrayObjectSet<T>

All Implemented Interfaces:

Iterable<T>

public class SortedArrayObjectSet<T extends Comparable<T>>
extends Object
implements Iterable<T>

a generic set of comparable objects with value based inclusion check (i.e. using equals()) objects that return compareTo() == 0 are entered LIFO

Constructor Summary

Constructors

Constructor and Description
SortedArrayObjectSet()
SortedArrayObjectSet(int initialCapacity)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(T v)
protected int	bisect(T val)
boolean	contains(T v)
protected void	insertElement(int idx)
boolean	isEmpty()
Iterator<T>	iterator()
void	remove(T v)
int	size()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SortedArrayObjectSet

public SortedArrayObjectSet()

SortedArrayObjectSet

public SortedArrayObjectSet(int initialCapacity)

Method Detail

bisect

protected final int bisect(T val)

insertElement

protected final void insertElement(int idx)

size

public int size()

isEmpty

public boolean isEmpty()

contains

public boolean contains(T v)

add

public void add(T v)

remove

public void remove(T v)

iterator

public Iterator<T> iterator()

Specified by:

iterator in interface Iterable<T extends Comparable<T>>

toString

public String toString()

Overrides:

toString in class Object