public class PropositionalExpansionWithSimplificationMacro extends AbstractPropositionalExpansionMacro
ProofMacro.ProgressBarListener
Constructor and Description |
---|
PropositionalExpansionWithSimplificationMacro() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
allowOSS()
Whether this macro includes One Step Simplification.
|
protected java.util.Set<java.lang.String> |
getAdmittedRuleNames()
Gets the set of admitted rule names.
|
java.lang.String |
getDescription()
Gets the description of this macro.
|
java.lang.String |
getName()
Gets the name of this macro.
|
asSet, createStrategy, getCategory, ruleApplicationInContextAllowed
applyTo, canApplyTo, doPostProcessing
applyTo, canApplyTo, getMaxSteps, getScriptCommandName, hasParameter, resetParams, setParameter
public PropositionalExpansionWithSimplificationMacro()
public java.lang.String getName()
ProofMacro
null
constant stringpublic java.lang.String getDescription()
ProofMacro
null
constant stringprotected java.util.Set<java.lang.String> getAdmittedRuleNames()
AbstractPropositionalExpansionMacro
getAdmittedRuleNames
in class AbstractPropositionalExpansionMacro
null
setprotected boolean allowOSS()
AbstractPropositionalExpansionMacro
allowOSS
in class AbstractPropositionalExpansionMacro
Copyright © 2003-2019 The KeY-Project.