gov.nasa.jpf.util

Class SortedArrayObjectSet<T extends java.lang.Comparable<T>>

java.lang.Object

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

All Implemented Interfaces:

java.lang.Iterable<T>

public class SortedArrayObjectSet<T extends java.lang.Comparable<T>>
extends java.lang.Object
implements java.lang.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

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()
java.util.Iterator<T>	iterator()
void	remove(T v)
int	size()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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 java.util.Iterator<T> iterator()

Specified by:

iterator in interface java.lang.Iterable<T extends java.lang.Comparable<T>>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object