Uses of Package
soot.jimple.toolkits.annotation.logic

Packages that use soot.jimple.toolkits.annotation.logic

soot	Base Soot classes, shared by different intermediate representations.
soot.jimple.toolkits.annotation.logic
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.

Classes in soot.jimple.toolkits.annotation.logic used by soot

LoopInvariantFinder

Classes in soot.jimple.toolkits.annotation.logic used by soot.jimple.toolkits.annotation.logic

Loop
A (natural) loop in Jimple.

LoopInvariantFinder

Classes in soot.jimple.toolkits.annotation.logic used by soot.toolkits.graph

Loop
A (natural) loop in Jimple.