Modifier and Type | Method and Description |
---|---|
SoundnessInformation |
PNetVisualizerController.getSoundnessInformation() |
Modifier and Type | Method and Description |
---|---|
void |
PNetVisualizerController.initController(prefuse.data.Graph graph,
javax.swing.JFrame component,
SoundnessInformation soundnessInformation,
org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph cg) |
void |
PNetVisualizerController.initController(prefuse.data.Graph graph,
javax.swing.JFrame component,
SoundnessInformation soundnessInformation,
org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph cg,
ProcessAnalyticsVizViews pa) |
Constructor and Description |
---|
PNetVisualizerGUI(prefuse.data.Graph graph,
SoundnessInformation soundnessInformation,
org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph cg) |
PNetVisualizerGUI(prefuse.data.Graph graph,
SoundnessInformation soundnessInformation,
org.processmining.models.graphbased.directed.transitionsystem.CoverabilityGraph cg,
ProcessAnalyticsVizViews pa) |
ToolBarGUI(javax.swing.JFrame application,
java.awt.Component mainGraphPanel,
SoundnessInformation soundnessInformation) |
Modifier and Type | Method and Description |
---|---|
static prefuse.data.Graph |
PluginUtils.netToGraph(org.processmining.framework.plugin.PluginContext context,
org.processmining.acceptingpetrinet.models.AcceptingPetriNet n,
SoundnessInformation information) |
static prefuse.data.Graph |
PluginUtils.netToGraph(org.processmining.framework.plugin.PluginContext context,
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph d,
org.processmining.models.semantics.petrinet.Marking m,
SoundnessInformation information) |