public class SMTPreparationMacro extends SequentialProofMacro
ProofMacro.ProgressBarListener
Constructor and Description |
---|
SMTPreparationMacro() |
Modifier and Type | Method and Description |
---|---|
protected ProofMacro[] |
createProofMacroArray()
Creates the proof macro array.
|
java.lang.String |
getCategory()
Gets the category of this macro.
|
java.lang.String |
getDescription()
Gets the description of this macro.
|
java.lang.String |
getName()
Gets the name of this macro.
|
applyTo, canApplyTo, getProofMacros
applyTo, canApplyTo, getMaxSteps, getScriptCommandName, hasParameter, resetParams, setParameter
protected ProofMacro[] createProofMacroArray()
Override this method by returning an array with the macros you want to call in the order of execution.
createProofMacroArray
in class SequentialProofMacro
public java.lang.String getName()
Used as menu entry
null
constant stringpublic java.lang.String getCategory()
Used as name of the menu under which the macro is sorted.
Return null
if no submenu is to be created.
null
public java.lang.String getDescription()
Used as tooltip.
null
constant string