Package boomerang.guided

Interface Summary

Interface	Description
IDemandDrivenGuidedManager

Class Summary

Class	Description
DemandDrivenGuidedAnalysis
SimpleSpecificationGuidedManager
Specification
Specification.Parameter
Specification.SootMethodWithSelector

Enum Summary

Enum	Description
Specification.QueryDirection