public class GUISelectionManager
extends java.lang.Object
implements java.awt.event.ActionListener
| Constructor and Description |
|---|
GUISelectionManager(javax.swing.JComboBox combo,
ConsistencyVertex node,
ConsistencyEdge edge,
java.util.List<Concept<?>> conceptContext) |
| Modifier and Type | Method and Description |
|---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
public GUISelectionManager(javax.swing.JComboBox combo,
ConsistencyVertex node,
ConsistencyEdge edge,
java.util.List<Concept<?>> conceptContext)