Modifier and Type | Method and Description |
---|---|
static void |
InductiveVisualMinerSelectionColourer.colourSelectedEdge(com.kitfox.svg.SVGDiagram svg,
LocalDotEdge dotEdge,
boolean selected) |
boolean |
Selection.isSelected(LocalDotEdge dotEdge) |
void |
InductiveVisualMinerPanel.makeEdgeSelectable(LocalDotEdge dotEdge,
boolean select) |
Modifier and Type | Method and Description |
---|---|
static LogMovePosition |
LogMovePosition.of(LocalDotEdge edge)
Retrieves the log move position of a LocalDotEdge that belongs to a log
move.
|
Modifier and Type | Method and Description |
---|---|
static LocalDotEdge |
Animation.getDotEdgeFromLogMove(LogMovePosition logMovePosition,
ProcessTreeVisualisationInfo info) |
LocalDotEdge |
DotTokenStep.getEdge() |
static LocalDotEdge |
Animation.getLogMoveEdge(int logMoveUnode,
int logMoveBeforeChild,
ProcessTreeVisualisationInfo info) |
static LocalDotEdge |
Animation.getModelMoveEdge(IvMMove move,
ProcessTreeVisualisationInfo info) |
static LocalDotEdge |
Animation.getTauEdge(IvMMove move,
ProcessTreeVisualisationInfo info) |
Modifier and Type | Method and Description |
---|---|
void |
DotToken.addStepOverEdge(LocalDotEdge edge,
java.lang.Double arrivalTime) |
static DotTokenStep |
DotTokenStep.edge(LocalDotEdge edge,
java.lang.Double arrivalTime) |
static java.lang.String |
DotToken2GraphVizToken.getArrowHeadPoint(LocalDotEdge edge,
com.kitfox.svg.SVGDiagram image) |
static java.lang.String |
DotToken2GraphVizToken.getSourceLocation(LocalDotEdge edge,
com.kitfox.svg.SVGDiagram image) |
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 |
---|---|
LocalDotEdge |
ProcessTreeVisualisationInfo.getLogMoveEdge(int unode1,
int unode2) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<LocalDotEdge> |
ProcessTreeVisualisationInfo.getAllLogMoveEdges() |
java.util.Set<LocalDotEdge> |
ProcessTreeVisualisationInfo.getAllModelEdges() |
java.util.Set<LocalDotEdge> |
ProcessTreeVisualisationInfo.getAllModelMoveEdges() |
java.util.Set<LocalDotEdge> |
ProcessTreeVisualisationInfo.getAllTauEdges() |
java.util.Set<LocalDotEdge> |
ProcessTreeVisualisationInfo.getEdges() |
java.util.List<LocalDotEdge> |
ProcessTreeVisualisationInfo.getModelEdges(int unode) |
java.util.List<LocalDotEdge> |
ProcessTreeVisualisationInfo.getModelMoveEdges(int unode) |
Modifier and Type | Method and Description |
---|---|
void |
ProcessTreeVisualisationInfo.addEdge(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree,
int unode1,
int unode2,
LocalDotEdge edge) |
void |
ProcessTreeVisualisationInfo.registerExtraEdge(int unode1,
int unode2,
LocalDotEdge edge) |