public class CreateConfigurableNet_UI.AddTransitionsGroupHandler
extends java.lang.Object
implements java.awt.event.ActionListener
Constructor and Description |
---|
AddTransitionsGroupHandler(PetrinetGraph net) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
public AddTransitionsGroupHandler(PetrinetGraph net)