il2.util
Class IntList

Object
  extended by IntList

public class IntList
extends Object

Author:
jdpark

Constructor Summary
IntList()
          Creates a new instance of IntList
IntList(int initialSize)
           
IntList(int[] values)
           
IntList(IntList orig)
           
 
Method Summary
 void add(int val)
           
 void addAll(int[] vals)
           
 IntStats calculateStats()
           
 void clear()
           
 void ensureAllocation(int size)
           
 boolean equals(Object obj)
           
 int get(int ind)
           
 int hashCode()
           
 void insert(int ind, int val)
           
 boolean isLocked()
           
 int lastIndex()
           
 int lastValue()
           
 void lock()
           
 void remove(int ind)
           
 void removeLast()
           
 int[] select(int[] inds)
           
 void set(int ind, int value)
           
 void setLast(int val)
           
 int size()
           
 void swapWithLastAndRemove(int ind)
           
 int[] toArray()
           
 String toString()
           
 IntList withoutIndex(int ind)
           
 
Methods inherited from class Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IntList

public IntList()
Creates a new instance of IntList


IntList

public IntList(IntList orig)

IntList

public IntList(int[] values)

IntList

public IntList(int initialSize)
Method Detail

calculateStats

public IntStats calculateStats()
Since:
120704

toArray

public int[] toArray()

get

public final int get(int ind)

select

public final int[] select(int[] inds)

set

public final void set(int ind,
                      int value)

add

public final void add(int val)

insert

public final void insert(int ind,
                         int val)

remove

public final void remove(int ind)

addAll

public final void addAll(int[] vals)

withoutIndex

public IntList withoutIndex(int ind)

clear

public final void clear()

ensureAllocation

public final void ensureAllocation(int size)

size

public final int size()

lastIndex

public final int lastIndex()

lastValue

public final int lastValue()

setLast

public final void setLast(int val)

removeLast

public final void removeLast()

hashCode

public final int hashCode()
Overrides:
hashCode in class Object

equals

public final boolean equals(Object obj)
Overrides:
equals in class Object

lock

public void lock()

isLocked

public boolean isLocked()

toString

public String toString()
Overrides:
toString in class Object

swapWithLastAndRemove

public void swapWithLastAndRemove(int ind)


Copyright 2010 UCLA Automated Reasoning Group