Package com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights
package com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights
-
ClassDescriptionEdgeWeight that adds a specific value.The weight of an edge can produce a new value for the tail nodes given the head nodes.