de.uka.ilkd.key.proof.io.intermediate

Class AppNodeIntermediate

java.lang.Object

de.uka.ilkd.key.proof.io.intermediate.NodeIntermediate

de.uka.ilkd.key.proof.io.intermediate.AppNodeIntermediate

public class AppNodeIntermediate
extends NodeIntermediate

Node in an intermediate proof representation storing a rule application.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	interactiveRuleApplication
private AppIntermediate	ruleApp

Constructor Summary

Constructors

Constructor and Description
AppNodeIntermediate()

Method Summary

Modifier and Type	Method and Description
AppIntermediate	getIntermediateRuleApp()
boolean	isInteractiveRuleApplication()
void	setInteractiveRuleApplication(boolean interactiveRuleApplication)
void	setIntermediateRuleApp(AppIntermediate ruleApp)

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

Field Detail

ruleApp

private AppIntermediate ruleApp

interactiveRuleApplication

private boolean interactiveRuleApplication

Constructor Detail

AppNodeIntermediate

public AppNodeIntermediate()

Method Detail

getIntermediateRuleApp

public AppIntermediate getIntermediateRuleApp()

setIntermediateRuleApp

public void setIntermediateRuleApp(AppIntermediate ruleApp)

isInteractiveRuleApplication

public boolean isInteractiveRuleApplication()

setInteractiveRuleApplication

public void setInteractiveRuleApplication(boolean interactiveRuleApplication)