uk.ac.ox.cs.fdr
public class CounterexampleList extends java.util.AbstractList<Counterexample>
Modifier and Type | Field and Description |
---|---|
protected boolean |
swigCMemOwn |
Modifier | Constructor and Description |
---|---|
|
CounterexampleList() |
|
CounterexampleList(CounterexampleList o) |
|
CounterexampleList(long n) |
protected |
CounterexampleList(long cPtr,
boolean cMemoryOwn) |
Modifier and Type | Method and Description |
---|---|
boolean |
add(Counterexample value) |
void |
clear() |
void |
delete() |
boolean |
empty() |
protected void |
finalize() |
Counterexample |
get(int index) |
protected static long |
getCPtr(CounterexampleList obj) |
void |
removeRange(int from,
int to) |
Counterexample |
set(int index,
Counterexample value) |
int |
size() |
add, addAll, equals, hashCode, indexOf, iterator, lastIndexOf, listIterator, listIterator, remove, subList
protected CounterexampleList(long cPtr, boolean cMemoryOwn)
public CounterexampleList()
public CounterexampleList(long n)
public CounterexampleList(CounterexampleList o)
protected static long getCPtr(CounterexampleList obj)
protected void finalize()
finalize
in class java.lang.Object
public void delete()
public Counterexample get(int index)
get
in interface java.util.List<Counterexample>
get
in class java.util.AbstractList<Counterexample>
public Counterexample set(int index, Counterexample value)
set
in interface java.util.List<Counterexample>
set
in class java.util.AbstractList<Counterexample>
public boolean add(Counterexample value)
add
in interface java.util.Collection<Counterexample>
add
in interface java.util.List<Counterexample>
add
in class java.util.AbstractList<Counterexample>
public boolean empty()
public void clear()
clear
in interface java.util.Collection<Counterexample>
clear
in interface java.util.List<Counterexample>
clear
in class java.util.AbstractList<Counterexample>
public int size()
size
in interface java.util.Collection<Counterexample>
size
in interface java.util.List<Counterexample>
size
in class java.util.AbstractCollection<Counterexample>
public void removeRange(int from, int to)
removeRange
in class java.util.AbstractList<Counterexample>