com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights

Interface EdgeWeight

All Known Implementing Classes:

AdditiveEdgeWeight

public interface EdgeWeight

The weight of an edge can produce a new value for the tail nodes given the head nodes.

Method Summary

Modifier and Type	Method and Description
Weight	newValue(Weight weight)

Method Detail

newValue

Weight newValue(Weight weight)