public class OneStepSimplifierRuleApp extends DefaultBuiltInRuleApp
Modifier and Type | Field and Description |
---|---|
private OneStepSimplifier.Protocol |
protocol |
builtInRule, ifInsts, pio
Modifier | Constructor and Description |
---|---|
protected |
OneStepSimplifierRuleApp(BuiltInRule builtInRule,
PosInOccurrence pio) |
Modifier and Type | Method and Description |
---|---|
OneStepSimplifier.Protocol |
getProtocol() |
void |
setProtocol(OneStepSimplifier.Protocol protocol) |
replacePos, setIfInsts, tryToInstantiate
complete, execute, forceInstantiate, getHeapContext, ifInsts, isSufficientlyComplete, posInOccurrence, rule, setMutable, toString
private OneStepSimplifier.Protocol protocol
protected OneStepSimplifierRuleApp(BuiltInRule builtInRule, PosInOccurrence pio)
public OneStepSimplifier.Protocol getProtocol()
null
public void setProtocol(OneStepSimplifier.Protocol protocol)
protocol
- the protocol to set