boomerang

Interfaces

• BoomerangOptions
• Context
• IContextRequester
• MethodReachableQueue
• SolverCreationListener

Classes

• BackwardQuery
• Boomerang
• DefaultBoomerangOptions
• ForwardQuery
• FromFileBoomerangOptions
• IntAndStringBoomerangOptions
• Query
• UnbalancedPopHandler
• Util
• WeightedBoomerang
• WeightedForwardQuery
• WholeProgramBoomerang

Exceptions

• BoomerangTimeoutException