Class AdditiveEdgeWeight

java.lang.Object
com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights.AdditiveEdgeWeight
All Implemented Interfaces:
EdgeWeight

public class AdditiveEdgeWeight extends Object implements EdgeWeight
EdgeWeight that adds a specific value.
Author:
Stephan Gocht <stephan@gobro.de>