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
Constructor and Description |
---|
ProveAndAddTaclets(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
protected java.lang.String |
getDescription() |
protected java.lang.String |
getTitle() |
protected void |
loadTaclets() |
protected boolean |
proofIsRequired() |
actionPerformed, handleException
getMediator
getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip
private static final long serialVersionUID
public ProveAndAddTaclets(MainWindow mainWindow)
protected void loadTaclets()
loadTaclets
in class LemmaGenerationAction
protected java.lang.String getTitle()
getTitle
in class LemmaGenerationAction
protected java.lang.String getDescription()
getDescription
in class LemmaGenerationAction
protected boolean proofIsRequired()
proofIsRequired
in class LemmaGenerationAction