public class ReduceUndo
extends java.lang.Object
| Constructor and Description |
|---|
ReduceUndo() |
| Modifier and Type | Method and Description |
|---|---|
static void |
undo(PNetVisualizerController controller) |
public static void undo(PNetVisualizerController controller)