public class AlignmentsGraph
extends java.lang.Object
Constructor and Description |
---|
AlignmentsGraph() |
Modifier and Type | Method and Description |
---|---|
static void |
getAlignments(PNetVisualizerController controller) |
static javax.swing.JComponent |
getAlignmentsView(InteractivePetriNet ipn,
TransPairAlignment tpa,
boolean fullModelView,
java.lang.String selectedAct) |
public static javax.swing.JComponent getAlignmentsView(InteractivePetriNet ipn, TransPairAlignment tpa, boolean fullModelView, java.lang.String selectedAct)
public static void getAlignments(PNetVisualizerController controller)