de.uka.ilkd.key.rule

Class OneStepSimplifierRuleApp

java.lang.Object

de.uka.ilkd.key.rule.AbstractBuiltInRuleApp

de.uka.ilkd.key.rule.DefaultBuiltInRuleApp

de.uka.ilkd.key.rule.OneStepSimplifierRuleApp

All Implemented Interfaces:

IBuiltInRuleApp, RuleApp

public class OneStepSimplifierRuleApp
extends DefaultBuiltInRuleApp

Field Summary

Fields

Modifier and Type	Field and Description
private OneStepSimplifier.Protocol	protocol

Fields inherited from class de.uka.ilkd.key.rule.AbstractBuiltInRuleApp

builtInRule, ifInsts, pio

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	OneStepSimplifierRuleApp(BuiltInRule builtInRule, PosInOccurrence pio)

Method Summary

Modifier and Type	Method and Description
OneStepSimplifier.Protocol	getProtocol()
void	setProtocol(OneStepSimplifier.Protocol protocol)

Methods inherited from class de.uka.ilkd.key.rule.DefaultBuiltInRuleApp

replacePos, setIfInsts, tryToInstantiate

Methods inherited from class de.uka.ilkd.key.rule.AbstractBuiltInRuleApp

complete, execute, forceInstantiate, getHeapContext, ifInsts, isSufficientlyComplete, posInOccurrence, rule, setMutable, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

protocol

private OneStepSimplifier.Protocol protocol

Constructor Detail

OneStepSimplifierRuleApp

protected OneStepSimplifierRuleApp(BuiltInRule builtInRule,
                                   PosInOccurrence pio)

Method Detail

getProtocol

public OneStepSimplifier.Protocol getProtocol()

Returns:

the protocol, may be null

setProtocol

public void setProtocol(OneStepSimplifier.Protocol protocol)

Parameters:

protocol - the protocol to set