gov.nasa.jpf.util

Class Permutation

java.lang.Object

gov.nasa.jpf.util.Permutation

public final class Permutation
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	data the backing array.
static int	defaultInitCap
protected Growth	growth growth strategy.
protected IntVector	inverse the size of the inverse vector == next range value to be assigned.

Constructor Summary

Constructors

Constructor and Description
Permutation()
Permutation(Growth initGrowth)
Permutation(Growth initGrowth, int initCap)
Permutation(int initCap)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(int x)
void	clear()
void	ensureCapacity(int desiredCap)
int	get(int x)
int	inverseGet(int v)
int	rangeSize()
void	set(int x, int v)

Methods inherited from class java.lang.Object

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

Field Detail

defaultInitCap

public static final int defaultInitCap

See Also:

Constant Field Values

data

protected int[] data

the backing array.

growth

protected Growth growth

growth strategy.

inverse

protected final IntVector inverse

the size of the inverse vector == next range value to be assigned.

Constructor Detail

Permutation

public Permutation(Growth initGrowth,
           int initCap)

Permutation

public Permutation(Growth initGrowth)

Permutation

public Permutation(int initCap)

Permutation

public Permutation()

Method Detail

add

public void add(int x)

get

public int get(int x)

inverseGet

public int inverseGet(int v)

set

public void set(int x,
       int v)

clear

public void clear()

rangeSize

public int rangeSize()

ensureCapacity

public void ensureCapacity(int desiredCap)