IntVector

java.lang.Object
- gov.nasa.jpf.util.IntVector

All Implemented Interfaces:: java.lang.Cloneable, java.lang.Comparable<IntVector>

public final class IntVector
extends java.lang.Object
implements java.lang.Comparable<IntVector>, java.lang.Cloneable

(more efficient?) alternative to Vector

Field Summary

Fields
Modifier and Type	Field and Description
`protected int[]`	`data` the backing array.
`static int`	`defaultInitCap`
`protected Growth`	`growth` growth strategy.
`protected int`	`size` size as in a java.util.Vector.

Constructor Summary

Constructors
Constructor and Description
`IntVector()`
`IntVector(Growth initGrowth)`
`IntVector(Growth initGrowth, int initCap)`
`IntVector(int... init)`
`IntVector(int initCap)`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`add(int x)`
`void`	`add(int x1, int x2)`
`void`	`add(int x1, int x2, int x3)`
`void`	`add(long x)`
`boolean`	`addIfAbsent(int x)`
`void`	`addZeros(int length)`
`void`	`append(boolean[] a)`
`void`	`append(int[] a)`
`void`	`append(int[] x, int pos, int len)`
`void`	`append(IntVector x)`
`void`	`appendBits(long[] a)`
`void`	`appendPacked(boolean[] a)`
`void`	`appendPacked(byte[] a)`
`void`	`appendPacked(char[] a)`
`void`	`appendPacked(short[] a)`
`void`	`appendRawBits(double[] a)`
`void`	`appendRawBits(float[] a)`
`void`	`clear()`
`IntVector`	`clone()`
`int`	`compareTo(IntVector that)` dictionary/lexicographic ordering
`boolean`	`contains(int x)`
`static void`	`copy(int[] src, int srcPos, IntVector dst, int dstPos, int len)`
`static void`	`copy(IntVector src, int srcPos, int[] dst, int dstPos, int len)`
`static void`	`copy(IntVector src, int srcPos, IntVector dst, int dstPos, int len)`
`int`	`dumpTo(int[] dst, int pos)`
`void`	`ensureCapacity(int desiredCap)`
`void`	`ensureSize(int sz)`
`int`	`get(int idx)`
`int`	`getFirstIndexOfValue(int x)`
`boolean`	`removeFirst(int x)`
`void`	`set(int idx, int x)`
`void`	`setSize(int sz)`
`int`	`size()`
`void`	`squeeze()`
`int[]`	`toArray()`
`int[]`	`toArray(int[] dst)`

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail
- defaultInitCap
```
public static final int defaultInitCap
```
  See Also:
  
  Constant Field Values
- size
```
protected int size
```
  size as in a java.util.Vector.
- data
```
protected int[] data
```
  the backing array.
- growth
```
protected Growth growth
```
  growth strategy.

Constructor Detail

IntVector

public IntVector(Growth initGrowth,
                 int initCap)

IntVector
```
public IntVector(int... init)
```

IntVector
```
public IntVector(Growth initGrowth)
```

IntVector
```
public IntVector(int initCap)
```

IntVector
```
public IntVector()
```

Method Detail

clone
```
public IntVector clone()
```
Overrides:

clone in class java.lang.Object

add
```
public void add(int x)
```

addIfAbsent
```
public boolean addIfAbsent(int x)
```

add
```
public void add(long x)
```

add

public void add(int x1,
                int x2)

add

public void add(int x1,
                int x2,
                int x3)

addZeros
```
public void addZeros(int length)
```

append
```
public void append(int[] a)
```

append

public void append(int[] x,
                   int pos,
                   int len)

append
```
public void append(boolean[] a)
```

appendPacked

public void appendPacked(boolean[] a)

appendPacked
```
public void appendPacked(byte[] a)
```

appendPacked
```
public void appendPacked(char[] a)
```

appendPacked
```
public void appendPacked(short[] a)
```

appendRawBits
```
public void appendRawBits(float[] a)
```

appendBits
```
public void appendBits(long[] a)
```

appendRawBits

public void appendRawBits(double[] a)

append
```
public void append(IntVector x)
```

removeFirst
```
public boolean removeFirst(int x)
```

get
```
public int get(int idx)
```

set

public void set(int idx,
                int x)

getFirstIndexOfValue

public int getFirstIndexOfValue(int x)

contains
```
public boolean contains(int x)
```

toArray
```
public int[] toArray(int[] dst)
```

dumpTo

public int dumpTo(int[] dst,
                  int pos)

squeeze
```
public void squeeze()
```

setSize
```
public void setSize(int sz)
```

clear
```
public void clear()
```

size
```
public int size()
```

toArray
```
public int[] toArray()
```

ensureSize
```
public void ensureSize(int sz)
```

ensureCapacity

public void ensureCapacity(int desiredCap)

copy

public static void copy(IntVector src,
                        int srcPos,
                        IntVector dst,
                        int dstPos,
                        int len)

copy

public static void copy(int[] src,
                        int srcPos,
                        IntVector dst,
                        int dstPos,
                        int len)

copy

public static void copy(IntVector src,
                        int srcPos,
                        int[] dst,
                        int dstPos,
                        int len)

compareTo
```
public int compareTo(IntVector that)
```
dictionary/lexicographic ordering

Specified by:

compareTo in interface java.lang.Comparable<IntVector>

Class IntVector

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

defaultInitCap

size

data

growth

Constructor Detail

IntVector

IntVector

IntVector

IntVector

IntVector

Method Detail

clone

add

addIfAbsent

add

add

add

addZeros

append

append

append

appendPacked

appendPacked

appendPacked

appendPacked

appendRawBits

appendBits

appendRawBits

append

removeFirst

get

set

getFirstIndexOfValue

contains

toArray

dumpTo

squeeze

setSize

clear

size

toArray

ensureSize

ensureCapacity

copy

copy

copy

compareTo