org.processmining.mining.graphclustering
Class Edges.Edge

java.lang.Object
  extended by org.processmining.mining.graphclustering.Edges.Edge
Enclosing class:
Edges

protected class Edges.Edge
extends java.lang.Object


Field Summary
protected  double frequency
           
protected  Node source
           
protected  Node target
           
 
Constructor Summary
Edges.Edge(Node source, Node target, double frequency)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 double getFrequency()
           
 Node getSource()
           
 Node getTarget()
           
 void increaseFrequency(double offset)
           
 void writeToDot(java.io.Writer bw)
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

source

protected Node source

target

protected Node target

frequency

protected double frequency
Constructor Detail

Edges.Edge

public Edges.Edge(Node source,
                  Node target,
                  double frequency)
Method Detail

getSource

public Node getSource()

getTarget

public Node getTarget()

getFrequency

public double getFrequency()

increaseFrequency

public void increaseFrequency(double offset)

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

writeToDot

public void writeToDot(java.io.Writer bw)
                throws java.io.IOException
Throws:
java.io.IOException