Uses of Class
boomerang.weights.DataFlowPathWeight

Packages that use DataFlowPathWeight

Package	Description
boomerang.weights

Uses of DataFlowPathWeight in boomerang.weights

Methods in boomerang.weights that return DataFlowPathWeight

Modifier and Type	Method and Description
DataFlowPathWeight	PathTrackingWeightFunctions.getOne()
DataFlowPathWeight	PathTrackingWeightFunctions.normal(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> succ)
static DataFlowPathWeight	DataFlowPathWeight.one()
DataFlowPathWeight	PathTrackingWeightFunctions.pop(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr)
DataFlowPathWeight	PathTrackingWeightFunctions.push(sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> curr, sync.pds.solver.nodes.Node<ControlFlowGraph.Edge,Val> succ, ControlFlowGraph.Edge callSite)

Methods in boomerang.weights that return types with arguments of type DataFlowPathWeight

Modifier and Type	Method and Description
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>	PathTrackingBoomerang.getBackwardCallWeights()
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,DataFlowPathWeight>	PathTrackingBoomerang.getBackwardFieldWeights()
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,ControlFlowGraph.Edge,DataFlowPathWeight>	PathTrackingBoomerang.getForwardCallWeights(ForwardQuery sourceQuery)
protected sync.pds.solver.WeightFunctions<ControlFlowGraph.Edge,Val,Field,DataFlowPathWeight>	PathTrackingBoomerang.getForwardFieldWeights()