public class FinishAuxiliaryComputationMacro extends AlternativeMacro
ProofMacro.ProgressBarListener
Constructor and Description |
---|
FinishAuxiliaryComputationMacro() |
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
public java.lang.String getName()
ProofMacro
null
constant stringpublic java.lang.String getCategory()
ProofMacro
null
if no submenu is to be created.null
public java.lang.String getDescription()
ProofMacro
null
constant stringprotected ProofMacro[] createProofMacroArray()
AlternativeMacro
createProofMacroArray
in class AlternativeMacro