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