Package joeq.Compiler.Dataflow

Interface Summary
Fact Fact
TransferFunction TransferFunction
 

Class Summary
BBComparator  
BitVectorFact  
GenKillTransferFunction  
IterativeSolver Solves a dataflow problem using a iterative technique.
LivenessAnalysis LivenessAnalysis
PriorityQueueSolver PriorityQueueSolver
Problem Problem
ReachingDefs ReachingDefs
ReachingDefs.RDVisitor  
Solver Solver
SortedSetSolver SortedSetSolver
UnionBitVectorFact UnionBitVectorFact
WorklistSolver WorklistSolver
 



Copyright © 2001-2008 John Whaley. All Rights Reserved.