public class OneStepSimplifierRuleApp extends DefaultBuiltInRuleApp
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
protected OneStepSimplifierRuleApp(BuiltInRule builtInRule, PosInOccurrence pio)
public OneStepSimplifier.Protocol getProtocol()
null
public void setProtocol(OneStepSimplifier.Protocol protocol)
protocol
- the protocol to setCopyright © 2003-2019 The KeY-Project.