public class ILPMinerUI
extends java.lang.Object
implements java.awt.event.ActionListener
| Modifier and Type | Class and Description |
|---|---|
static class |
ILPMinerUI.ExtensionProperties
Enumeration for ILP model extension extra properties (for easy retrieval
via the ExtensionListBoxItem class)
|
static class |
ILPMinerUI.Properties
Enumeration for ILP model variant properties (for easy retrieval via the
ListBoxItem class)
|
| Constructor and Description |
|---|
ILPMinerUI() |
ILPMinerUI(ILPMinerSettings settings) |
| Modifier and Type | Method and Description |
|---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
ILPMinerSettings |
getSettings()
returns the current settings
|
javax.swing.JComponent |
initComponents()
Initializes the user interface
|
void |
updateSettings()
Gets the ILP model specific settings panel via reflection.
|
public ILPMinerUI()
public ILPMinerUI(ILPMinerSettings settings)
public javax.swing.JComponent initComponents()
public void updateSettings()
this.settings for future use. Lastly it will create
actionListeners for the ILP model specific settings panel that update the
aforementioned ILlogModelSettings instance.slickerFactory - public ILPMinerSettings getSettings()
public void actionPerformed(java.awt.event.ActionEvent e)
actionPerformed in interface java.awt.event.ActionListener