Uses of Interface
soot.toolkits.scalar.FlowSet

Packages that use FlowSet

Package	Description
soot.dava.toolkits.base.AST.structuredAnalysis
soot.jbco.jimpleTransformations
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.
soot.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.mhp.findobject
soot.jimple.toolkits.thread.synchronization
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of FlowSet in soot.dava.toolkits.base.AST.structuredAnalysis

Classes in soot.dava.toolkits.base.AST.structuredAnalysis that implement FlowSet

Modifier and Type	Class	Description
class	CPFlowSet
class	DavaFlowSet<T>
class	UnreachableCodeFinder.UnreachableCodeFlowSet

Methods in soot.dava.toolkits.base.AST.structuredAnalysis that return FlowSet

Modifier and Type	Method	Description
FlowSet<T>	DavaFlowSet.emptySet()

Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type FlowSet

Modifier and Type	Method	Description
void	DavaFlowSet.copy(FlowSet<T> destFlow)
void	DavaFlowSet.difference(FlowSet<T> otherFlow, FlowSet<T> destFlow)
void	CPFlowSet.intersection(FlowSet otherFlow, FlowSet destFlow)
void	DavaFlowSet.intersection(FlowSet<T> otherFlow, FlowSet<T> destFlow)	Notice that the intersection method only merges the elements of the flow set DavaFlowSet also contains information regarding abrupt control flow This should also be merged using the copyInternalDataFrom method
void	UnreachableCodeFinder.UnreachableCodeFlowSet.intersection(FlowSet otherFlow, FlowSet destFlow)
void	DavaFlowSet.union(FlowSet<T> otherFlow, FlowSet<T> destFlow)	Notice that the union method only merges the elements of the flow set DavaFlowSet also contains information regarding abrupt control flow This should also be merged using the copyInternalDataFrom method

Uses of FlowSet in soot.jbco.jimpleTransformations

Methods in soot.jbco.jimpleTransformations that return FlowSet

Modifier and Type	Method	Description
protected FlowSet	New2InitFlowAnalysis.entryInitialFlow()
protected FlowSet	New2InitFlowAnalysis.newInitialFlow()

Methods in soot.jbco.jimpleTransformations with parameters of type FlowSet

Modifier and Type	Method	Description
protected void	New2InitFlowAnalysis.copy(FlowSet source, FlowSet dest)
protected void	New2InitFlowAnalysis.flowThrough(FlowSet in, Unit d, FlowSet out)
protected void	New2InitFlowAnalysis.merge(FlowSet in1, FlowSet in2, FlowSet out)

Uses of FlowSet in soot.jimple.toolkits.annotation.nullcheck

Fields in soot.jimple.toolkits.annotation.nullcheck declared as FlowSet

Modifier and Type	Field	Description
protected FlowSet<RefIntPair>	BranchedRefVarsAnalysis.emptySet	Deprecated.
protected FlowSet<RefIntPair>	BranchedRefVarsAnalysis.fullSet	Deprecated.
protected FlowSet<RefIntPair>	BranchedRefVarsAnalysis.tempFlowSet	Deprecated.

Fields in soot.jimple.toolkits.annotation.nullcheck with type parameters of type FlowSet

Modifier and Type	Field	Description
protected Map<Unit,FlowSet<RefIntPair>>	BranchedRefVarsAnalysis.unitToGenerateSet	Deprecated.
protected Map<Unit,FlowSet<RefIntPair>>	BranchedRefVarsAnalysis.unitToPreserveSet	Deprecated.

Methods in soot.jimple.toolkits.annotation.nullcheck that return FlowSet

Modifier and Type	Method	Description
protected FlowSet<RefIntPair>	BranchedRefVarsAnalysis.entryInitialFlow()	Deprecated.
protected FlowSet<RefIntPair>	BranchedRefVarsAnalysis.newInitialFlow()	Deprecated.

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type FlowSet

Modifier and Type	Method	Description
int	BranchedRefVarsAnalysis.anyRefInfo(Value r, FlowSet<RefIntPair> f)	Deprecated.
protected void	BranchedRefVarsAnalysis.copy(FlowSet<RefIntPair> source, FlowSet<RefIntPair> dest)	Deprecated.
protected void	BranchedRefVarsAnalysis.flowThrough(FlowSet<RefIntPair> in, Unit stmt, List<FlowSet<RefIntPair>> outFall, List<FlowSet<RefIntPair>> outBranch)	Deprecated.
protected void	BranchedRefVarsAnalysis.merge(FlowSet<RefIntPair> in1, FlowSet<RefIntPair> in2, FlowSet<RefIntPair> out)	Deprecated.
protected int	BranchedRefVarsAnalysis.refInfo(EquivalentValue r, FlowSet<RefIntPair> fs)	Deprecated.

Method parameters in soot.jimple.toolkits.annotation.nullcheck with type arguments of type FlowSet

Modifier and Type	Method	Description
protected void	BranchedRefVarsAnalysis.flowThrough(FlowSet<RefIntPair> in, Unit stmt, List<FlowSet<RefIntPair>> outFall, List<FlowSet<RefIntPair>> outBranch)	Deprecated.

Uses of FlowSet in soot.jimple.toolkits.callgraph

Methods in soot.jimple.toolkits.callgraph that return FlowSet

Modifier and Type	Method	Description
protected FlowSet<SootMethod>	ClinitElimAnalysis.calculateInitialFlow()
protected FlowSet<SootMethod>	ClinitElimAnalysis.entryInitialFlow()
protected FlowSet<SootMethod>	ClinitElimAnalysis.newInitialFlow()

Methods in soot.jimple.toolkits.callgraph with parameters of type FlowSet

Modifier and Type	Method	Description
void	ClinitElimAnalysis.copy(FlowSet<SootMethod> src, FlowSet<SootMethod> dest)
protected void	ClinitElimAnalysis.copyFreshToExisting(FlowSet<SootMethod> in, FlowSet<SootMethod> dest)
protected void	ClinitElimAnalysis.flowThrough(FlowSet<SootMethod> inVal, Unit stmt, FlowSet<SootMethod> outVal)
void	ClinitElimAnalysis.merge(FlowSet<SootMethod> in1, FlowSet<SootMethod> in2, FlowSet<SootMethod> out)

Uses of FlowSet in soot.jimple.toolkits.infoflow

Methods in soot.jimple.toolkits.infoflow that return FlowSet

Modifier and Type	Method	Description
protected FlowSet<Pair<EquivalentValue,EquivalentValue>>	SimpleMethodInfoFlowAnalysis.entryInitialFlow()
protected FlowSet<Pair<EquivalentValue,EquivalentValue>>	SimpleMethodInfoFlowAnalysis.newInitialFlow()

Methods in soot.jimple.toolkits.infoflow with parameters of type FlowSet

Modifier and Type	Method	Description
protected void	SimpleMethodInfoFlowAnalysis.copy(FlowSet<Pair<EquivalentValue,EquivalentValue>> source, FlowSet<Pair<EquivalentValue,EquivalentValue>> dest)
protected void	SimpleMethodInfoFlowAnalysis.flowThrough(FlowSet<Pair<EquivalentValue,EquivalentValue>> in, Unit unit, FlowSet<Pair<EquivalentValue,EquivalentValue>> out)
protected void	SimpleMethodInfoFlowAnalysis.handleFlowsToDataStructure(Value base, Value initialSource, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected void	SimpleMethodInfoFlowAnalysis.handleFlowsToValue(Value sink, Value initialSource, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected List<Value>	SimpleMethodInfoFlowAnalysis.handleInvokeExpr(InvokeExpr ie, Stmt is, FlowSet<Pair<EquivalentValue,EquivalentValue>> fs)
protected void	SimpleMethodInfoFlowAnalysis.merge(FlowSet<Pair<EquivalentValue,EquivalentValue>> in1, FlowSet<Pair<EquivalentValue,EquivalentValue>> in2, FlowSet<Pair<EquivalentValue,EquivalentValue>> out)

Uses of FlowSet in soot.jimple.toolkits.scalar

Classes in soot.jimple.toolkits.scalar that implement FlowSet

Modifier and Type	Class	Description
class	ToppedSet<T>	Represents information for flow analysis, adding a top element to a lattice.

Fields in soot.jimple.toolkits.scalar declared as FlowSet

Modifier and Type	Field	Description
protected FlowSet<Value>	FastAvailableExpressionsAnalysis.emptySet
protected FlowSet<Value>	SlowAvailableExpressionsAnalysis.emptySet
protected FlowSet<T>	ToppedSet.underlyingSet

Fields in soot.jimple.toolkits.scalar with type parameters of type FlowSet

Modifier and Type	Field	Description
protected Map<Unit,FlowSet<Value>>	FastAvailableExpressionsAnalysis.unitToGenerateSet

Methods in soot.jimple.toolkits.scalar that return FlowSet

Modifier and Type	Method	Description
FlowSet<T>	ToppedSet.emptySet()
protected FlowSet<Object>	CommonPrecedingEqualValueAnalysis.entryInitialFlow()
protected FlowSet<Object>	EqualLocalsAnalysis.entryInitialFlow()
protected FlowSet<Object>	EqualUsesAnalysis.entryInitialFlow()	Deprecated.
protected FlowSet<Value>	FastAvailableExpressionsAnalysis.entryInitialFlow()
protected FlowSet<Value>	SlowAvailableExpressionsAnalysis.entryInitialFlow()
protected FlowSet<Object>	CommonPrecedingEqualValueAnalysis.newInitialFlow()
protected FlowSet<Object>	EqualLocalsAnalysis.newInitialFlow()
protected FlowSet<Object>	EqualUsesAnalysis.newInitialFlow()	Deprecated.
protected FlowSet<Value>	FastAvailableExpressionsAnalysis.newInitialFlow()
protected FlowSet<Value>	PessimisticAvailableExpressionsAnalysis.newInitialFlow()
protected FlowSet<Value>	SlowAvailableExpressionsAnalysis.newInitialFlow()

Methods in soot.jimple.toolkits.scalar with parameters of type FlowSet

Modifier and Type	Method	Description
protected void	CommonPrecedingEqualValueAnalysis.copy(FlowSet<Object> source, FlowSet<Object> dest)
protected void	EqualLocalsAnalysis.copy(FlowSet<Object> source, FlowSet<Object> dest)
protected void	EqualUsesAnalysis.copy(FlowSet<Object> source, FlowSet<Object> dest)	Deprecated.
protected void	FastAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet, FlowSet<Value> destSet)
protected void	SlowAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet, FlowSet<Value> destSet)
void	ToppedSet.copy(FlowSet<T> d)
void	ToppedSet.difference(FlowSet<T> o, FlowSet<T> d)
protected void	CommonPrecedingEqualValueAnalysis.flowThrough(FlowSet<Object> in, Unit unit, FlowSet<Object> out)
protected void	EqualLocalsAnalysis.flowThrough(FlowSet<Object> in, Unit unit, FlowSet<Object> out)
protected void	EqualUsesAnalysis.flowThrough(FlowSet<Object> in, Unit unit, FlowSet<Object> out)	Deprecated.
protected void	FastAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in, Unit u, FlowSet<Value> out)
protected void	SlowAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in, Unit unit, FlowSet<Value> out)
void	ToppedSet.intersection(FlowSet<T> o, FlowSet<T> d)
protected void	CommonPrecedingEqualValueAnalysis.merge(FlowSet<Object> in1, FlowSet<Object> in2, FlowSet<Object> out)
protected void	EqualLocalsAnalysis.merge(FlowSet<Object> in1, FlowSet<Object> in2, FlowSet<Object> out)
protected void	EqualUsesAnalysis.merge(FlowSet<Object> inSet1, FlowSet<Object> inSet2, FlowSet<Object> outSet)	Deprecated.
protected void	FastAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1, FlowSet<Value> inSet2, FlowSet<Value> outSet)
protected void	SlowAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1, FlowSet<Value> inSet2, FlowSet<Value> outSet)
void	ToppedSet.union(FlowSet<T> o, FlowSet<T> d)

Constructors in soot.jimple.toolkits.scalar with parameters of type FlowSet

Constructor	Description
ToppedSet(FlowSet<T> under)

Uses of FlowSet in soot.jimple.toolkits.scalar.pre

Methods in soot.jimple.toolkits.scalar.pre that return FlowSet

Modifier and Type	Method	Description
protected FlowSet<EquivalentValue>	DelayabilityAnalysis.entryInitialFlow()
protected FlowSet<EquivalentValue>	DownSafetyAnalysis.entryInitialFlow()
protected FlowSet<EquivalentValue>	NotIsolatedAnalysis.entryInitialFlow()
protected FlowSet<EquivalentValue>	UpSafetyAnalysis.entryInitialFlow()
FlowSet<EquivalentValue>	EarliestnessComputation.getFlowBefore(Object node)	returns the FlowSet of expressions, that have their earliest computation just before node.
FlowSet<EquivalentValue>	LatestComputation.getFlowBefore(Object node)	returns the set of expressions, that have their latest computation just before node.
protected FlowSet<EquivalentValue>	DelayabilityAnalysis.newInitialFlow()
protected FlowSet<EquivalentValue>	DownSafetyAnalysis.newInitialFlow()
protected FlowSet<EquivalentValue>	NotIsolatedAnalysis.newInitialFlow()
protected FlowSet<EquivalentValue>	UpSafetyAnalysis.newInitialFlow()

Methods in soot.jimple.toolkits.scalar.pre with parameters of type FlowSet

Modifier and Type	Method	Description
protected void	DelayabilityAnalysis.copy(FlowSet<EquivalentValue> sourceSet, FlowSet<EquivalentValue> destSet)
protected void	DownSafetyAnalysis.copy(FlowSet<EquivalentValue> source, FlowSet<EquivalentValue> dest)
protected void	NotIsolatedAnalysis.copy(FlowSet<EquivalentValue> sourceSet, FlowSet<EquivalentValue> destSet)
protected void	UpSafetyAnalysis.copy(FlowSet<EquivalentValue> sourceSet, FlowSet<EquivalentValue> destSet)
protected void	DelayabilityAnalysis.flowThrough(FlowSet<EquivalentValue> in, Unit u, FlowSet<EquivalentValue> out)
protected void	DownSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in, Unit u, FlowSet<EquivalentValue> out)
protected void	NotIsolatedAnalysis.flowThrough(FlowSet<EquivalentValue> in, Unit unit, FlowSet<EquivalentValue> out)
protected void	UpSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in, Unit u, FlowSet<EquivalentValue> out)
protected void	DelayabilityAnalysis.merge(FlowSet<EquivalentValue> inSet1, FlowSet<EquivalentValue> inSet2, FlowSet<EquivalentValue> outSet)
protected void	DownSafetyAnalysis.merge(FlowSet<EquivalentValue> in1, FlowSet<EquivalentValue> in2, FlowSet<EquivalentValue> out)
protected void	NotIsolatedAnalysis.merge(FlowSet<EquivalentValue> inSet1, FlowSet<EquivalentValue> inSet2, FlowSet<EquivalentValue> outSet)
protected void	UpSafetyAnalysis.merge(FlowSet<EquivalentValue> inSet1, FlowSet<EquivalentValue> inSet2, FlowSet<EquivalentValue> outSet)

Constructors in soot.jimple.toolkits.scalar.pre with parameters of type FlowSet

Constructor	Description
EarliestnessComputation(UnitGraph unitGraph, UpSafetyAnalysis upSafe, DownSafetyAnalysis downSafe, SideEffectTester sideEffect, FlowSet<EquivalentValue> set)	given an UpSafetyAnalysis and a DownSafetyAnalysis, performs the earliest-computation. allows to share sets over multiple analyses (set-operations are usually more efficient, if the sets come from the same source).

Uses of FlowSet in soot.jimple.toolkits.thread.mhp

Classes in soot.jimple.toolkits.thread.mhp that implement FlowSet

Modifier and Type	Class	Description
class	MonitorSet

Methods in soot.jimple.toolkits.thread.mhp that return FlowSet

Modifier and Type	Method	Description
protected FlowSet	PegGraph.getAllNodes()
FlowSet	DominatorsFinder.getDominatorsOf(Object s)

Methods in soot.jimple.toolkits.thread.mhp that return types with arguments of type FlowSet

Modifier and Type	Method	Description
Map<String,FlowSet>	MonitorAnalysis.getMonitor()
Map<String,FlowSet>	PegGraph.getMonitor()
protected Map<String,FlowSet>	PegChain.getWaitingNodes()
protected Map<String,FlowSet>	PegGraph.getWaitingNodes()

Method parameters in soot.jimple.toolkits.thread.mhp with type arguments of type FlowSet

Modifier and Type	Method	Description
protected void	PegGraph.setMonitor(Map<String,FlowSet> m)

Uses of FlowSet in soot.jimple.toolkits.thread.mhp.findobject

Methods in soot.jimple.toolkits.thread.mhp.findobject that return FlowSet

Modifier and Type	Method	Description
FlowSet	MultiRunStatementsFinder.getMultiRunStatements()

Uses of FlowSet in soot.jimple.toolkits.thread.synchronization

Methods in soot.jimple.toolkits.thread.synchronization that return FlowSet

Modifier and Type	Method	Description
protected FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair>	SynchronizedRegionFinder.newInitialFlow()	All INs are initialized to the empty set.

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type FlowSet

Modifier and Type	Method	Description
protected void	SynchronizedRegionFinder.copy(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> sourceSet, FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> destSet)
protected void	SynchronizedRegionFinder.flowThrough(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> in, Unit unit, FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> out)	OUT is the same as (IN minus killSet) plus the genSet.
protected void	LockAllocationBodyTransformer.internalTransform(Body b, FlowSet fs, List<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> groups, boolean[] insertedGlobalLock)
protected void	SynchronizedRegionFinder.merge(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet1, FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet2, FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> outSet)	union

Uses of FlowSet in soot.toolkits.graph

Fields in soot.toolkits.graph with type parameters of type FlowSet

Modifier and Type	Field	Description
protected Map<N,FlowSet<N>>	SimpleDominatorsFinder.nodeToDominators

Methods in soot.toolkits.graph that return FlowSet

Modifier and Type	Method	Description
protected FlowSet<Unit>	DominatorAnalysis.entryInitialFlow()	Deprecated.
protected FlowSet<Unit>	PostDominatorAnalysis.entryInitialFlow()	Deprecated.
protected FlowSet<Unit>	DominatorAnalysis.newInitialFlow()	Deprecated.
protected FlowSet<Unit>	PostDominatorAnalysis.newInitialFlow()	Deprecated.

Methods in soot.toolkits.graph with parameters of type FlowSet

Modifier and Type	Method	Description
protected void	DominatorAnalysis.copy(FlowSet<Unit> source, FlowSet<Unit> dest)	Deprecated.
protected void	PostDominatorAnalysis.copy(FlowSet<Unit> source, FlowSet<Unit> dest)	Deprecated.
protected void	DominatorAnalysis.flowThrough(FlowSet<Unit> in, Unit s, FlowSet<Unit> out)	Deprecated.
protected void	PostDominatorAnalysis.flowThrough(FlowSet<Unit> in, Unit s, FlowSet<Unit> out)	Deprecated.
protected void	DominatorAnalysis.merge(FlowSet<Unit> in1, FlowSet<Unit> in2, FlowSet<Unit> out)	Deprecated.
protected void	PostDominatorAnalysis.merge(FlowSet<Unit> in1, FlowSet<Unit> in2, FlowSet<Unit> out)	Deprecated.

Uses of FlowSet in soot.toolkits.scalar

Subinterfaces of FlowSet in soot.toolkits.scalar

Modifier and Type	Interface	Description
interface	BoundedFlowSet<T>	Represents bounded information for flow analysis.

Classes in soot.toolkits.scalar that implement FlowSet

Modifier and Type	Class	Description
class	AbstractBoundedFlowSet<T>	provides functional code for most of the methods.
class	AbstractFlowSet<T>	provides functional code for most of the methods.
class	ArrayPackedSet<T>	Reference implementation for a BoundedFlowSet.
class	ArraySparseSet<T>	Reference implementation for a FlowSet.
class	HashSparseSet<T>	Reference implementation for a FlowSet.

Fields in soot.toolkits.scalar declared as FlowSet

Modifier and Type	Field	Description
protected FlowSet<Local>	InitAnalysis.allLocals

Methods in soot.toolkits.scalar that return FlowSet

Modifier and Type	Method	Description
FlowSet<T>	FlowSet.clone()	Clones the current FlowSet.
FlowSet<T>	AbstractFlowSet.emptySet()	implemented, but inefficient.
FlowSet<T>	ArrayPackedSet.emptySet()
FlowSet<T>	ArraySparseSet.emptySet()
FlowSet<T>	FlowSet.emptySet()	returns an empty set, most often more efficient than: ((FlowSet)clone()).clear()
FlowSet<T>	HashSparseSet.emptySet()
protected FlowSet<ValueBox>	CombinedDUAnalysis.entryInitialFlow()
protected FlowSet<Local>	InitAnalysis.entryInitialFlow()
protected FlowSet<ValueBox>	CombinedDUAnalysis.newInitialFlow()
protected FlowSet<Local>	InitAnalysis.newInitialFlow()
FlowSet<T>	AbstractBoundedFlowSet.topSet()
FlowSet<T>	BoundedFlowSet.topSet()	returns the topped set.

Methods in soot.toolkits.scalar with parameters of type FlowSet

Modifier and Type	Method	Description
void	AbstractFlowSet.add(T obj, FlowSet<T> dest)
void	FlowSet.add(T obj, FlowSet<T> dest)	puts this union obj into dest.
void	AbstractBoundedFlowSet.complement(FlowSet<T> dest)
void	ArrayPackedSet.complement(FlowSet<T> destFlow)
void	BoundedFlowSet.complement(FlowSet<T> dest)	Complements this BoundedFlowSet, putting the result into dest.
void	AbstractFlowSet.copy(FlowSet<T> dest)
void	ArrayPackedSet.copy(FlowSet<T> destFlow)
void	ArraySparseSet.copy(FlowSet<T> destFlow)
protected void	CombinedDUAnalysis.copy(FlowSet<ValueBox> source, FlowSet<ValueBox> dest)
void	FlowSet.copy(FlowSet<T> dest)	Copies the current FlowSet into dest.
void	HashSparseSet.copy(FlowSet<T> destFlow)
protected void	InitAnalysis.copy(FlowSet<Local> source, FlowSet<Local> dest)
void	ArraySparseSet.copyFreshToExisting(FlowSet<T> destFlow)
default void	FlowSet.copyFreshToExisting(FlowSet<T> dest)	Copies a *fresh* copy of this to dest.
void	AbstractFlowSet.difference(FlowSet<T> other)
void	AbstractFlowSet.difference(FlowSet<T> other, FlowSet<T> dest)
void	ArrayPackedSet.difference(FlowSet<T> otherFlow, FlowSet<T> destFlow)
void	ArraySparseSet.difference(FlowSet<T> otherFlow, FlowSet<T> destFlow)
void	FlowSet.difference(FlowSet<T> other)	Returns the set difference (this intersect ~other) of this FlowSet and other, putting result into this.
void	FlowSet.difference(FlowSet<T> other, FlowSet<T> dest)	Returns the set difference (this intersect ~other) of this FlowSet and other, putting result into dest.
void	HashSparseSet.difference(FlowSet<T> otherFlow, FlowSet<T> destFlow)
protected void	CombinedDUAnalysis.flowThrough(FlowSet<ValueBox> out, Unit u, FlowSet<ValueBox> in)
protected void	InitAnalysis.flowThrough(FlowSet<Local> in, Unit unit, FlowSet<Local> out)
void	AbstractFlowSet.intersection(FlowSet<T> other)
void	AbstractFlowSet.intersection(FlowSet<T> other, FlowSet<T> dest)
void	ArrayPackedSet.intersection(FlowSet<T> otherFlow, FlowSet<T> destFlow)
void	ArraySparseSet.intersection(FlowSet<T> otherFlow, FlowSet<T> destFlow)
void	FlowSet.intersection(FlowSet<T> other)	Returns the intersection (meet) of this FlowSet and other, putting result into this.
void	FlowSet.intersection(FlowSet<T> other, FlowSet<T> dest)	Returns the intersection (meet) of this FlowSet and other, putting result into dest.
void	HashSparseSet.intersection(FlowSet<T> otherFlow, FlowSet<T> destFlow)
boolean	AbstractFlowSet.isSubSet(FlowSet<T> other)
boolean	ArrayPackedSet.isSubSet(FlowSet<T> other)
boolean	FlowSet.isSubSet(FlowSet<T> other)	Returns true if the other FlowSet is a subset of this FlowSet.
protected void	CombinedDUAnalysis.merge(FlowSet<ValueBox> inout, FlowSet<ValueBox> in)
protected void	CombinedDUAnalysis.merge(FlowSet<ValueBox> in1, FlowSet<ValueBox> in2, FlowSet<ValueBox> out)
protected void	InitAnalysis.merge(FlowSet<Local> in1, FlowSet<Local> in2, FlowSet<Local> out)
void	AbstractFlowSet.remove(T obj, FlowSet<T> dest)
void	FlowSet.remove(T obj, FlowSet<T> dest)	Puts this minus obj into dest.
void	AbstractFlowSet.union(FlowSet<T> other)
void	AbstractFlowSet.union(FlowSet<T> other, FlowSet<T> dest)
void	ArrayPackedSet.union(FlowSet<T> otherFlow, FlowSet<T> destFlow)
void	ArraySparseSet.union(FlowSet<T> otherFlow, FlowSet<T> destFlow)
void	FlowSet.union(FlowSet<T> other)	Returns the union (join) of this FlowSet and other, putting result into this.
void	FlowSet.union(FlowSet<T> other, FlowSet<T> dest)	Returns the union (join) of this FlowSet and other, putting result into dest.
void	HashSparseSet.union(FlowSet<T> otherFlow, FlowSet<T> destFlow)