Package org.processmining.plugins.inductiveVisualMiner.visualisation

Class ProcessTreeVisualisationInfo

java.lang.Object

org.processmining.plugins.inductiveVisualMiner.visualisation.ProcessTreeVisualisationInfo

public class ProcessTreeVisualisationInfo
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ProcessTreeVisualisationInfo()

Method Summary

Modifier and Type	Method	Description
void	addEdge(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree, int unode1, int unode2, LocalDotEdge edge)
void	addNode(int unode, LocalDotNode node, LocalDotNode correspondingSplit)
LocalDotNode	getActivityDotNode(int unode)
java.util.Collection<LocalDotNode>	getAllActivityNodes()
java.util.Set<LocalDotEdge>	getAllLogMoveEdges()
java.util.Set<LocalDotEdge>	getAllModelEdges()
java.util.Set<LocalDotEdge>	getAllModelMoveEdges()
java.util.Set<LocalDotEdge>	getAllTauEdges()
java.util.Set<LocalDotEdge>	getEdges()
LocalDotEdge	getLogMoveEdge(int unode1, int unode2)
java.util.List<LocalDotEdge>	getModelEdges(int unode)
java.util.List<LocalDotEdge>	getModelMoveEdges(int unode)
java.util.Set<LocalDotNode>	getNodes()
java.util.List<LocalDotNode>	getNodes(int unode)
LocalDotNode	getSink()
LocalDotNode	getSource()
LocalDotNode	getSplitCorrespondingToJoin(LocalDotNode join)
void	registerExtraEdge(int unode1, int unode2, LocalDotEdge edge)
void	setRoot(LocalDotNode source, LocalDotNode sink)

Methods inherited from class java.lang.Object

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

Constructor Detail

ProcessTreeVisualisationInfo

public ProcessTreeVisualisationInfo()

Method Detail

setRoot

public void setRoot(LocalDotNode source,
                    LocalDotNode sink)

addNode

public void addNode(int unode,
                    LocalDotNode node,
                    LocalDotNode correspondingSplit)

addEdge

public void addEdge(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree,
                    int unode1,
                    int unode2,
                    LocalDotEdge edge)

registerExtraEdge

public void registerExtraEdge(int unode1,
                              int unode2,
                              LocalDotEdge edge)

getNodes

public java.util.Set<LocalDotNode> getNodes()

getNodes

public java.util.List<LocalDotNode> getNodes(int unode)

getActivityDotNode

public LocalDotNode getActivityDotNode(int unode)

getAllActivityNodes

public java.util.Collection<LocalDotNode> getAllActivityNodes()

getSource

public LocalDotNode getSource()

getSink

public LocalDotNode getSink()

getEdges

public java.util.Set<LocalDotEdge> getEdges()

getModelEdges

public java.util.List<LocalDotEdge> getModelEdges(int unode)

getModelMoveEdges

public java.util.List<LocalDotEdge> getModelMoveEdges(int unode)

getLogMoveEdge

public LocalDotEdge getLogMoveEdge(int unode1,
                                   int unode2)

getAllModelEdges

public java.util.Set<LocalDotEdge> getAllModelEdges()

getAllLogMoveEdges

public java.util.Set<LocalDotEdge> getAllLogMoveEdges()

getAllModelMoveEdges

public java.util.Set<LocalDotEdge> getAllModelMoveEdges()

getAllTauEdges

public java.util.Set<LocalDotEdge> getAllTauEdges()

getSplitCorrespondingToJoin

public LocalDotNode getSplitCorrespondingToJoin(LocalDotNode join)