Class AdditiveEdgeWeight
java.lang.Object
com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights.AdditiveEdgeWeight
- All Implemented Interfaces:
EdgeWeight
EdgeWeight that adds a specific value.
- Author:
- Stephan Gocht
<stephan@gobro.de>
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
AdditiveEdgeWeight
-
-
Method Details
-
equals
-
hashCode
-
newValue
- Specified by:
newValue
in interfaceEdgeWeight
-
toString
-