public class AuxiliaryComputationAutoPilotMacro extends ExhaustiveProofMacro
ProofMacro.ProgressBarListener
Constructor and Description |
---|
AuxiliaryComputationAutoPilotMacro() |
Modifier and Type | Method and Description |
---|---|
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.
|
(package private) ProofMacro |
getProofMacro()
Gets the proof macros.
|
applyTo, canApplyTo
applyTo, canApplyTo, getMaxSteps, getScriptCommandName, hasParameter, resetParams, setParameter
public java.lang.String getName()
ProofMacro
getName
in interface ProofMacro
getName
in class ExhaustiveProofMacro
null
constant stringpublic java.lang.String getCategory()
ProofMacro
null
if no submenu is to be created.null
public java.lang.String getDescription()
ProofMacro
getDescription
in interface ProofMacro
getDescription
in class ExhaustiveProofMacro
null
constant stringProofMacro getProofMacro()
ExhaustiveProofMacro
getProofMacro
in class ExhaustiveProofMacro