com.ibm.wala.analysis.arraybounds.hypergraph

Class DirectedHyperEdge<T>

java.lang.Object

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

Type Parameters:

T - Type used in HyperNodes (HyperNode<T>)

public class DirectedHyperEdge<T>
extends java.lang.Object

A DirectedHyperEdge is an edge of a DirectedHyperGraph.

Constructor Summary

Constructors

Constructor and Description
DirectedHyperEdge()

Method Summary

Modifier and Type	Method and Description
java.util.Set<HyperNode<T>>	getDestination()
java.util.Set<HyperNode<T>>	getSource()
EdgeWeight	getWeight()
void	setWeight(EdgeWeight weight)

Methods inherited from class java.lang.Object

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

Constructor Detail

DirectedHyperEdge

public DirectedHyperEdge()

Method Detail

getDestination

public java.util.Set<HyperNode<T>> getDestination()

getSource

public java.util.Set<HyperNode<T>> getSource()

getWeight

public EdgeWeight getWeight()

setWeight

public void setWeight(EdgeWeight weight)