|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.util.ints.AbstractIntCollection
kodkod.util.ints.AbstractIntVector
public abstract class AbstractIntVector
A skeletal implementation of the IntVector interface.
length: int |
elements: [0..size) ->one int |
Method Summary | |
---|---|
boolean |
add(int element)
Calls this.add(this.size(), element) |
void |
add(int index,
int element)
Throws UnsupportedOperationException |
boolean |
addAll(IntCollection c)
Returns the result of calling this.addAll(size(), c). |
boolean |
addAll(int index,
IntCollection c)
Throws an UnsupportedOperationException. |
boolean |
contains(int element)
Iterates through this.ints and returns true if it finds i, otherwise returns false. |
boolean |
equals(java.lang.Object o)
Compares the specified object with this vector for equality. |
int |
hashCode()
Returns the hash code value for this vector. |
int |
indexOf(int element)
Returns the index in this vector of the first occurrence of the specified element, or -1 if this vector does not contain this element. |
IntIterator |
iterator()
Calls this.iterator(0, length()) |
IntIterator |
iterator(int fromIndex,
int toIndex)
Returns an iterator over the elements in this vector in proper sequence, starting fromIndex<\tt>, inclusive, and ending at toIndex<\tt>, exclusive. |
int |
lastIndexOf(int element)
Returns the index in this vector of the last occurrence of the specified element, or -1 if this vector does not contain this element. |
int |
removeAt(int index)
Throws an UnsupportedOperationException. |
int |
set(int index,
int element)
Throws UnsupportedOperationException . |
java.lang.String |
toString()
|
Methods inherited from class kodkod.util.ints.AbstractIntCollection |
---|
clear, containsAll, isEmpty, remove, removeAll, retainAll, toArray, toArray |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface kodkod.util.ints.IntVector |
---|
clear, get, isEmpty, remove, removeAll, retainAll, size, toArray, toArray |
Methods inherited from interface kodkod.util.ints.IntCollection |
---|
containsAll |
Method Detail |
---|
public boolean contains(int element)
contains
in interface IntCollection
contains
in interface IntVector
contains
in class AbstractIntCollection
IntVector.contains(int)
public int set(int index, int element)
UnsupportedOperationException
.
set
in interface IntVector
IntVector.set(int,int)
public int indexOf(int element)
indexOf
in interface IntVector
IntVector.indexOf(int)
public int lastIndexOf(int element)
lastIndexOf
in interface IntVector
IntVector.lastIndexOf(int)
public boolean add(int element)
add
in interface IntCollection
add
in interface IntVector
add
in class AbstractIntCollection
IntVector.add(int)
,
IntVector.add(int,int)
public void add(int index, int element)
UnsupportedOperationException
add
in interface IntVector
IntVector.add(int, int)
public boolean addAll(IntCollection c)
addAll
in interface IntCollection
addAll
in interface IntVector
addAll
in class AbstractIntCollection
AbstractIntCollection.addAll(kodkod.util.ints.IntCollection)
public boolean addAll(int index, IntCollection c)
addAll
in interface IntVector
IntVector.addAll(int, kodkod.util.ints.IntCollection)
public int removeAt(int index)
removeAt
in interface IntVector
IntVector.removeAt(int)
public IntIterator iterator()
iterator
in interface IntCollection
iterator
in interface IntVector
IntVector.iterator()
,
IntVector.iterator(int,int)
public IntIterator iterator(int fromIndex, int toIndex)
iterator
in interface IntVector
IntVector.iterator(int, int)
public int hashCode()
hashCode
in interface IntVector
hashCode
in class java.lang.Object
Object.hashCode()
,
Object.equals(Object)
,
equals(Object)
public boolean equals(java.lang.Object o)
equals
in interface IntVector
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
Object.toString()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |