boomerang

Interfaces

• BoomerangOptions
• Context
• IContextRequester
• MethodReachableQueue
• SolverCreationListener

Classes

• BackwardQuery
• Boomerang
• DefaultBoomerangOptions
• ForwardQuery
• ForwardQueryArray
• ForwardQueryMultiDimensionalArray
• Query
• QueryGraph
• Util
• WeightedBoomerang
• WeightedForwardQuery
• WholeProgramBoomerang

Enums

• BoomerangOptions.ArrayStrategy
• BoomerangOptions.StaticFieldStrategy

Exceptions

• BoomerangTimeoutException