public class PropositionalExpansionWithSimplificationMacro extends AbstractPropositionalExpansionMacro
ProofMacro.ProgressBarListener
Modifier and Type | Field and Description |
---|---|
private static java.lang.String[] |
ADMITTED_RULES |
private static java.util.Set<java.lang.String> |
ADMITTED_RULES_SET |
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
private static final java.lang.String[] ADMITTED_RULES
private static final java.util.Set<java.lang.String> ADMITTED_RULES_SET
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