Modifier and Type | Method and Description |
---|---|
static void |
InductiveVisualMinerSelectionColourer.colourSelectedNode(com.kitfox.svg.SVGDiagram svg,
LocalDotNode dotNode,
boolean selected) |
boolean |
Selection.isSelected(LocalDotNode dotNode) |
void |
InductiveVisualMinerPanel.makeNodeSelectable(LocalDotNode dotNode,
boolean select) |
Modifier and Type | Field and Description |
---|---|
LocalDotNode |
Animation.Position.dotNode |
Modifier and Type | Method and Description |
---|---|
LocalDotNode |
DotTokenStep.getDestinationNode() |
static LocalDotNode |
Animation.getDotNodeFromActivity(int unode,
ProcessTreeVisualisationInfo info) |
static LocalDotNode |
Animation.getDotNodeFromActivity(IvMMove move,
ProcessTreeVisualisationInfo info) |
LocalDotNode |
DotToken.getLastPosition()
Returns the last known dot node in this token.
|
LocalDotNode |
DotTokenStep.getNode() |
static LocalDotNode |
Animation.getParallelJoin(int unode,
ProcessTreeVisualisationInfo info) |
static LocalDotNode |
Animation.getParallelSplit(int unode,
ProcessTreeVisualisationInfo info) |
LocalDotNode |
DotToken.getStartPosition()
Returns the start dot node of this token.
|
LocalDotNode |
DotToken.getTarget(int index)
Gets the target dot node after the edge of the given index.
|
Modifier and Type | Method and Description |
---|---|
void |
DotToken.addStepInNode(LocalDotNode node,
java.lang.Double arrivalTime) |
static java.lang.String |
DotToken2GraphVizToken.getCenter(LocalDotNode node,
com.kitfox.svg.SVGDiagram image) |
static void |
Animation.moveDotTokenTo(Animation.Input in,
DotToken dotToken,
LocalDotNode destination,
boolean addSelfEdgeIfNecessary) |
static DotTokenStep |
DotTokenStep.node(LocalDotNode node,
java.lang.Double arrivalTime) |
Modifier and Type | Method and Description |
---|---|
static DotToken |
IvMTrace2DotToken.trace2dotToken(IvMEfficientTree tree,
java.util.List<IvMMove> trace,
org.processmining.plugins.InductiveMiner.Pair<LocalDotNode,java.lang.Double> startPosition,
org.processmining.plugins.InductiveMiner.Pair<LocalDotNode,java.lang.Double> endPosition,
gnu.trove.list.array.TIntArrayList inParallelUnodes,
boolean showDeviations,
ShortestPathGraph shortestPath,
ProcessTreeVisualisationInfo info,
int indent,
Scaler scaler) |
static DotToken |
IvMTrace2DotToken.trace2dotToken(IvMEfficientTree tree,
java.util.List<IvMMove> trace,
org.processmining.plugins.InductiveMiner.Pair<LocalDotNode,java.lang.Double> startPosition,
org.processmining.plugins.InductiveMiner.Pair<LocalDotNode,java.lang.Double> endPosition,
gnu.trove.list.array.TIntArrayList inParallelUnodes,
boolean showDeviations,
ShortestPathGraph shortestPath,
ProcessTreeVisualisationInfo info,
int indent,
Scaler scaler) |
Constructor and Description |
---|
DotToken(LocalDotNode startPosition,
java.lang.Double startTime,
boolean fade) |
Position(LocalDotNode dotNode,
java.lang.Double timestamp) |
Modifier and Type | Method and Description |
---|---|
java.util.List<LocalDotEdge> |
ShortestPathGraph.getShortestPath(LocalDotNode from,
LocalDotNode to,
boolean addSelfEdgeIfNecessary) |
Constructor and Description |
---|
ShortestPathGraph(java.util.Collection<LocalDotNode> nodes,
java.util.Collection<LocalDotEdge> edges) |
Modifier and Type | Method and Description |
---|---|
LocalDotNode |
ProcessTreeVisualisationInfo.getActivityDotNode(int unode) |
LocalDotNode |
ProcessTreeVisualisationInfo.getSink() |
LocalDotNode |
LocalDotEdge.getSource() |
LocalDotNode |
ProcessTreeVisualisationInfo.getSource() |
LocalDotNode |
ProcessTreeVisualisationInfo.getSplitCorrespondingToJoin(LocalDotNode join) |
LocalDotNode |
LocalDotEdge.getTarget() |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<LocalDotNode> |
ProcessTreeVisualisationInfo.getAllActivityNodes() |
java.util.Set<LocalDotNode> |
ProcessTreeVisualisationInfo.getNodes() |
java.util.List<LocalDotNode> |
ProcessTreeVisualisationInfo.getNodes(int unode) |
Modifier and Type | Method and Description |
---|---|
void |
ProcessTreeVisualisationInfo.addNode(int unode,
LocalDotNode node,
LocalDotNode correspondingSplit) |
LocalDotNode |
ProcessTreeVisualisationInfo.getSplitCorrespondingToJoin(LocalDotNode join) |
void |
ProcessTreeVisualisationInfo.setRoot(LocalDotNode source,
LocalDotNode sink) |
Constructor and Description |
---|
LocalDotEdge(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree,
org.processmining.plugins.graphviz.dot.Dot dot,
ProcessTreeVisualisationInfo info,
LocalDotNode source,
LocalDotNode target,
java.lang.String label,
int node,
LocalDotEdge.EdgeType type,
DFMEdgeType dfmType,
int lookupNode1,
int lookupNode2,
boolean directionForward) |
LocalDotNode(org.processmining.plugins.graphviz.dot.Dot dot,
ProcessTreeVisualisationInfo info,
LocalDotNode.NodeType type,
java.lang.String label,
int unode,
LocalDotNode correspondingSplit) |