Package soot.toolkits.scalar
Interface FlowUniverse<E>
-
- All Superinterfaces:
Iterable<E>
- All Known Implementing Classes:
ArrayFlowUniverse,CollectionFlowUniverse
public interface FlowUniverse<E> extends Iterable<E>
Provides an interface of a flow universe, used by an implementation of BoundedFlowSet to do complementation.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Iterator<E>iterator()returns an iterator over the elements of the universe.intsize()returns the number of elements of the universe.E[]toArray()returns the elements of the universe in form of an array.
The returned array could be backed or not.-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
-
-
-
Method Detail
-
size
int size()
returns the number of elements of the universe.- Returns:
- the size of the universe.
-
toArray
E[] toArray()
returns the elements of the universe in form of an array.
The returned array could be backed or not. If you want to be sure that it is unbacked, clone() it.- Returns:
- the elements of the universe.
-
-