Uses of Class
gov.nasa.jpf.util.SparseClusterArray.Entry

Packages that use SparseClusterArray.Entry

Package	Description
gov.nasa.jpf.util

Uses of SparseClusterArray.Entry in gov.nasa.jpf.util

Fields in gov.nasa.jpf.util declared as SparseClusterArray.Entry

Modifier and Type	Field and Description
protected SparseClusterArray.Entry	SparseClusterArray.changes

Methods in gov.nasa.jpf.util that return SparseClusterArray.Entry

Modifier and Type	Method and Description
SparseClusterArray.Entry<E>	SparseClusterArray.getChanges()

Methods in gov.nasa.jpf.util with parameters of type SparseClusterArray.Entry

Modifier and Type	Method and Description
void	SparseClusterArray.revertChanges(SparseClusterArray.Entry<E> changes)