Uses of Interface soot.JastAddJ.BranchPropagation (Soot - a J*va Optimization Framework 4.6.0 API)

Packages that use BranchPropagation
Package Description

soot.JastAddJ

Uses of BranchPropagation in soot.JastAddJ

Classes in soot.JastAddJ that implement BranchPropagation
Modifier and Type	Class	Description
`class`	`BranchTargetStmt`
`class`	`DoStmt`
`class`	`EnhancedForStmt`
`class`	`ForStmt`
`class`	`LabeledStmt`
`class`	`SwitchStmt`
`class`	`WhileStmt`