Package 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.
Author:
Stephan Gocht <stephan@gobro.de>

  • Method Summary

    Modifier and Type
    Method
    Description
    Weight
    newValue(Weight weight)