BoundedFlowSet (Soot - a J*va Optimization Framework 4.6.0 API)

All Superinterfaces:

FlowSet<T>, Iterable<T>

All Known Implementing Classes:

AbstractBoundedFlowSet, ArrayPackedSet
```
public interface BoundedFlowSet<T>
extends FlowSet<T>
```
Represents bounded information for flow analysis. Just like FlowSet, but also provides complementation. Some implementations of BoundedFlowSet may require a FlowUniverse for construction.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`void`	`complement()`	Complements `this`.
`void`	`complement(FlowSet<T> dest)`	Complements this BoundedFlowSet, putting the result into `dest`.
`FlowSet<T>`	`topSet()`	returns the topped set.

Methods inherited from interface soot.toolkits.scalar.FlowSet
add, add, clear, clone, contains, copy, copyFreshToExisting, difference, difference, emptySet, intersection, intersection, isEmpty, isSubSet, iterator, remove, remove, size, toList, union, union

Methods inherited from interface java.lang.Iterable
forEach, spliterator

- Method Detail
  - complement
```
void complement()
```
    Complements this.
  - complement
```
void complement(FlowSet<T> dest)
```
    Complements this BoundedFlowSet, putting the result into dest. dest and this may be the same object.
  - topSet
```
FlowSet<T> topSet()
```
    returns the topped set.