public static class LemmaGenerationAction.ProveAndAddTaclets extends LemmaGenerationAction
LemmaGenerationAction.Mode, LemmaGenerationAction.ProveAndAddTaclets, LemmaGenerationAction.ProveKeYTaclets, LemmaGenerationAction.ProveUserDefinedTaclets
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
mainWindow, SHORTCUT_KEY_MASK
changeSupport, enabled
ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON
Constructor and Description |
---|
LemmaGenerationAction.ProveAndAddTaclets(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
protected String |
getDescription() |
protected String |
getTitle() |
protected void |
loadTaclets() |
protected boolean |
proofIsRequired() |
actionPerformed, handleException
getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, setTooltip
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
private static final long serialVersionUID
public LemmaGenerationAction.ProveAndAddTaclets(MainWindow mainWindow)
protected void loadTaclets()
loadTaclets
in class LemmaGenerationAction
protected String getTitle()
getTitle
in class LemmaGenerationAction
protected String getDescription()
getDescription
in class LemmaGenerationAction
protected boolean proofIsRequired()
proofIsRequired
in class LemmaGenerationAction