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 and Description
SoftFinalHyperNode(T value)

Method Summary

Modifier and Type	Method and 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 Detail

SoftFinalHyperNode

public SoftFinalHyperNode(T value)

Method Detail

setWeight

public void setWeight(Weight weight)

Overrides:

setWeight in class HyperNode<T>