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

Interface Summary

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

Class Summary

Class	Description
AdditiveEdgeWeight	EdgeWeight that adds a specific value.