public class PropositionalExpansionMacro extends AbstractPropositionalExpansionMacro
ADMITTED_RULES
.ProofMacro.ProgressBarListener
Modifier and Type | Field and Description |
---|---|
private static String[] |
ADMITTED_RULES |
private static Set<String> |
ADMITTED_RULES_SET |
Constructor and Description |
---|
PropositionalExpansionMacro() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
allowOSS()
Whether this macro includes One Step Simplification.
|
protected Set<String> |
getAdmittedRuleNames()
Gets the set of admitted rule names.
|
String |
getDescription()
Gets the description of this macro.
|
String |
getName()
Gets the name of this macro.
|
asSet, createStrategy, getCategory, ruleApplicationInContextAllowed
applyTo, canApplyTo, doPostProcessing
applyTo, canApplyTo, getMaxSteps, getScriptCommandName
private static final String[] ADMITTED_RULES
public String getName()
ProofMacro
null
constant stringpublic String getDescription()
ProofMacro
null
constant stringprotected Set<String> getAdmittedRuleNames()
AbstractPropositionalExpansionMacro
getAdmittedRuleNames
in class AbstractPropositionalExpansionMacro
null
setprotected boolean allowOSS()
AbstractPropositionalExpansionMacro
allowOSS
in class AbstractPropositionalExpansionMacro