Package 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 Object

A DirectedHyperEdge is an edge of a DirectedHyperGraph.

Author:

Stephan Gocht <stephan@gobro.de>

Constructor Summary

Constructors

Constructor	Description
DirectedHyperEdge()

Method Summary

Modifier and Type	Method	Description
Set<HyperNode<T>>	getDestination()
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 Details

DirectedHyperEdge

public DirectedHyperEdge()

Method Details

getDestination

public Set<HyperNode<T>> getDestination()

getSource

public Set<HyperNode<T>> getSource()

getWeight

public EdgeWeight getWeight()

setWeight

public void setWeight(EdgeWeight weight)