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>	WeightedBoomerang.solve(BackwardQuery query)
BackwardBoomerangResults<W>	WeightedBoomerang.solve(BackwardQuery query, boolean timing)
BackwardBoomerangResults<W>	WeightedBoomerang.solveUnderScope(BackwardQuery query, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> triggeringNode, Query parentQuery)

Uses of BackwardBoomerangResults in boomerang.stats

Methods in boomerang.stats with parameters of type BackwardBoomerangResults

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