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