AppNodeIntermediate (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.proof.io.intermediate.NodeIntermediate
- - de.uka.ilkd.key.proof.io.intermediate.AppNodeIntermediate

Fields
Modifier and Type	Field and Description
`private boolean`	`interactiveRuleApplication`
`private AppIntermediate`	`ruleApp`
`private boolean`	`scriptRuleApplication` Signals that this app has been triggered by a proof script.

Constructors
Constructor and Description
`AppNodeIntermediate()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`AppIntermediate`	`getIntermediateRuleApp()`
`boolean`	`isInteractiveRuleApplication()`
`boolean`	`isScriptRuleApplication()`
`void`	`setInteractiveRuleApplication(boolean interactiveRuleApplication)`
`void`	`setIntermediateRuleApp(AppIntermediate ruleApp)`
`void`	`setScriptRuleApplication(boolean scriptRuleApplication)`

Methods inherited from class de.uka.ilkd.key.proof.io.intermediate.NodeIntermediate
addChild, getChildren, setChildren

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public AppIntermediate getIntermediateRuleApp()

public void setIntermediateRuleApp(AppIntermediate ruleApp)

public boolean isInteractiveRuleApplication()

public boolean isScriptRuleApplication()

public void setInteractiveRuleApplication(boolean interactiveRuleApplication)

public void setScriptRuleApplication(boolean scriptRuleApplication)

Class AppNodeIntermediate