public abstract class FPDEdge<S extends FPDNode,T extends FPDNode>
extends org.processmining.models.graphbased.directed.AbstractDirectedGraphEdge<S,T>
org.processmining.models.graphbased.directed.DirectedGraphEdge.MultipleSources<N extends org.processmining.models.graphbased.directed.DirectedGraphNode>, org.processmining.models.graphbased.directed.DirectedGraphEdge.MultipleTargets<N extends org.processmining.models.graphbased.directed.DirectedGraphNode>| Modifier and Type | Field and Description |
|---|---|
static int |
MAXWIDTH
GUI related variables
|
| Constructor and Description |
|---|
FPDEdge(S source,
T target)
Default constructor
|
| Modifier and Type | Method and Description |
|---|---|
void |
decrementFrequency()
decrement frequency value of an edge
|
void |
decrementViolatingFrequency()
decrement the number of violating flow frequency by 1
|
double |
getAvgMovingTime()
return average moving time for this edge
|
int |
getDivider() |
int |
getFrequency()
get frequency of an edge
|
java.lang.String |
getInfo()
return string of information about this edge
|
int |
getMaxEdgeFreq() |
double |
getMovingTimeBoundaryHigh() |
double |
getMovingTimeBoundaryLow() |
int |
getViolatingFrequency()
get the number of violating flow frequency
|
void |
incrementFrequency()
increment frequency value of an edge
|
void |
incrementViolatingFrequency()
increment the number of violating flow frequency by 1
|
void |
setAvgMovingTime(double avgMovingTime)
set the value of average moving time for this edge
|
void |
setDivider(int divider) |
void |
setFrequency(int frequency)
set frequency value of an edge
|
void |
setMaxEdgeFreq(int maxEdgeFreq) |
void |
setMovingTimeBoundaryHigh(double movingTimeBoundaryHigh) |
void |
setMovingTimeBoundaryLow(double movingTimeBoundaryLow) |
void |
setViolatingFrequency(int violatingFrequency)
set the number of violating flow frequency
|
void |
updateEdgeInterface()
update GUI appearance of this edge
|
compareTo, getGraphequals, getSource, getTarget, hashCodegetAttributeMap, getLabel, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetSource, getTargetpublic static final int MAXWIDTH
public int getFrequency()
public void setFrequency(int frequency)
frequency - public void incrementFrequency()
public void decrementFrequency()
public int getViolatingFrequency()
public void setViolatingFrequency(int violatingFrequency)
violatingFrequency - public void incrementViolatingFrequency()
public void decrementViolatingFrequency()
public double getAvgMovingTime()
public void setAvgMovingTime(double avgMovingTime)
avgMovingTime - public double getMovingTimeBoundaryLow()
public void setMovingTimeBoundaryLow(double movingTimeBoundaryLow)
movingTimeBoundaryLow - the movingTimeBoundaryLow to setpublic double getMovingTimeBoundaryHigh()
public void setMovingTimeBoundaryHigh(double movingTimeBoundaryHigh)
movingTimeBoundaryHigh - the movingTimeBoundaryHigh to setpublic java.lang.String getInfo()
public void updateEdgeInterface()
public int getMaxEdgeFreq()
public void setMaxEdgeFreq(int maxEdgeFreq)
maxEdgeFreq - the maxEdgeFreq to setpublic int getDivider()
public void setDivider(int divider)
divider - the divider to set