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

Class SoftFinalHyperNode<T>

java.lang.Object

com.ibm.wala.analysis.arraybounds.hypergraph.HyperNode<T>

com.ibm.wala.analysis.arraybounds.hypergraph.SoftFinalHyperNode<T>

public class SoftFinalHyperNode<T>
extends HyperNode<T>

Constructor Summary

Constructors

Constructor	Description
SoftFinalHyperNode(T value)

Method Summary

Modifier and Type	Method	Description
void	setWeight(Weight weight)

Methods inherited from class com.ibm.wala.analysis.arraybounds.hypergraph.HyperNode

getInEdges, getNewWeight, getOutEdges, getValue, getWeight, setInEdges, setNewWeight, setOutEdges, setValue, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

SoftFinalHyperNode

public SoftFinalHyperNode(T value)

Method Details

setWeight

public void setWeight(Weight weight)

Overrides:

setWeight in class HyperNode<T>