Uses of Class
boomerang.results.BackwardBoomerangResults

Packages that use BackwardBoomerangResults

Package	Description
boomerang
boomerang.stats

Uses of BackwardBoomerangResults in boomerang

Methods in boomerang that return BackwardBoomerangResults

Modifier and Type	Method and Description
BackwardBoomerangResults<W>	WholeProgramBoomerang.backwardSolveUnderScope(BackwardQuery backwardQuery, ForwardQuery forwardQuery, Node<Statement,Val> node)
BackwardBoomerangResults<W>	WeightedBoomerang.backwardSolveUnderScope(BackwardQuery backwardQuery, ForwardQuery forwardQuery, Node<Statement,Val> node)
BackwardBoomerangResults<W>	WeightedBoomerang.backwardSolveUnderScope(BackwardQuery backwardQuery, IContextRequester requester)
BackwardBoomerangResults<W>	WeightedBoomerang.solve(BackwardQuery query)
BackwardBoomerangResults<W>	WeightedBoomerang.solve(BackwardQuery query, boolean timing)

Uses of BackwardBoomerangResults in boomerang.stats

Methods in boomerang.stats with parameters of type BackwardBoomerangResults

Modifier and Type	Method and Description
void	IBoomerangStats.terminated(BackwardQuery query, BackwardBoomerangResults<W> backwardBoomerangResults)
void	SimpleBoomerangStats.terminated(BackwardQuery query, BackwardBoomerangResults<W> backwardBoomerangResults)
void	CSVBoomerangStatsWriter.terminated(BackwardQuery query, BackwardBoomerangResults<W> res)
void	AdvancedBoomerangStats.terminated(BackwardQuery query, BackwardBoomerangResults<W> backwardBoomerangResults)