Constructor and Description |
---|
DetectionPanel(PNetVisualizerController controller) |
LogPanel(PNetVisualizerController controller,
javax.swing.table.DefaultTableModel metricsTableModel) |
Modifier and Type | Method and Description |
---|---|
static void |
DiscoveryPredictor.discover(PNetVisualizerController controller) |
static void |
DiscoveryPredictor.reduce(PNetVisualizerController controller) |
Modifier and Type | Method and Description |
---|---|
static PNetVisualizerController |
PNetVisualizerController.getInstance() |
Modifier and Type | Method and Description |
---|---|
PNetVisualizerController |
GraphVisualization.getController() |
Constructor and Description |
---|
GraphVisualization(prefuse.data.Graph graph,
PNetVisualizerController controller2,
TransPairAlignment tpa)
This method is used only for generating the small graph view for reduced
alignments
|
Modifier and Type | Field and Description |
---|---|
protected PNetVisualizerController |
NodeHotboxComponent.controller |
Modifier and Type | Method and Description |
---|---|
static void |
NodeHighlightControlPMDUtils.reduceLinearlyDependentNode(PNetVisualizerController controller,
int nodeToRemove,
boolean calcSynth,
boolean removePlace,
boolean runLayout) |
Constructor and Description |
---|
NodeClickControlPMD(prefuse.data.tuple.TupleSet graphNodes,
java.lang.String activity,
PNetVisualizerController controller) |
NodeHighlightControlPMD(prefuse.data.tuple.TupleSet inputSet,
prefuse.data.tuple.TupleSet outputSet,
prefuse.data.tuple.TupleSet outputMultipleSet,
prefuse.data.tuple.TupleSet inputOutputSet,
prefuse.data.tuple.TupleSet selectedEdgeSet,
prefuse.data.tuple.TupleSet conformanceActivities,
java.lang.String activity,
PNetVisualizerController controller) |
Constructor and Description |
---|
VizToAlignmentMapper(PNetVisualizerController controller,
GraphVisualization graphVisualization) |
Modifier and Type | Method and Description |
---|---|
PNetVisualizerController |
DiscoveryPredictor.getController() |
Modifier and Type | Method and Description |
---|---|
void |
DiscoveryPredictor.discover(PNetVisualizerController controller) |
static void |
ExpandUsingTrackerForVizAndNet.expandUsingTracker(PNetVisualizerController controller,
IncrementalModel m,
boolean calcSynth) |
static void |
ReduceUsingTrackerForVizAndNet.reduceUsingTracker(PNetVisualizerController controller,
IncrementalModel m,
boolean calcSynth,
boolean runLayout) |
void |
DiscoveryPredictor.setController(PNetVisualizerController controller) |
Constructor and Description |
---|
CopyOfDiscoveryPanel(PNetVisualizerController controller2) |
Modifier and Type | Method and Description |
---|---|
static void |
AlignmentsGraph.getAlignments(PNetVisualizerController controller) |
static javax.swing.JPanel |
GraphView.getGraph(PNetVisualizerController controller,
TransPairAlignment tpa) |
static javax.swing.JComponent |
ModelLogView.getResults(PNetVisualizerController controller,
TransPairAlignment tpa) |
static void |
SplitPanelIntoPetrinetAndLog.splitPanel(PNetVisualizerController controller) |
Constructor and Description |
---|
MetricsPanel(javax.swing.table.DefaultTableModel metricsTableModel,
PNetVisualizerController controller,
int width) |
Modifier and Type | Method and Description |
---|---|
void |
HeuristicsInfo.updateDirectRelations(PNetVisualizerController controller) |
Modifier and Type | Method and Description |
---|---|
static void |
ReduceUndo.undo(PNetVisualizerController controller) |
Modifier and Type | Method and Description |
---|---|
static void |
InteractiveUtils.updateVizParameters(prefuse.data.Graph g,
PNetVisualizerController controller) |