graphloaders.antlrDotParser

Class EdgeParser.WeightedDotEdge

java.lang.Object

graphloaders.antlrDotParser.EdgeParser.WeightedDotEdge

Enclosing class:

EdgeParser

public class EdgeParser.WeightedDotEdge
extends java.lang.Object

A weighted edge contains two nodes and the edge weight. An object of this class is used to store the definite edges of the targetGraph.

Constructor Summary

Constructors

Constructor and Description
WeightedDotEdge(NodeAndSubgraphParser.Node node1, NodeAndSubgraphParser.Node node2, float weight)

Method Summary

Modifier and Type	Method and Description
NodeAndSubgraphParser.Node	getNode1()
NodeAndSubgraphParser.Node	getNode2()
float	getWeight()
void	setWeight(float weight)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

WeightedDotEdge

public WeightedDotEdge(NodeAndSubgraphParser.Node node1,
                       NodeAndSubgraphParser.Node node2,
                       float weight)

Method Detail

getNode1

public NodeAndSubgraphParser.Node getNode1()

getNode2

public NodeAndSubgraphParser.Node getNode2()

getWeight

public float getWeight()

setWeight

public void setWeight(float weight)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object