public class AppNodeIntermediate extends NodeIntermediate
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.
|
Constructor and Description |
---|
AppNodeIntermediate() |
Modifier and Type | Method and Description |
---|---|
AppIntermediate |
getIntermediateRuleApp() |
boolean |
isInteractiveRuleApplication() |
boolean |
isScriptRuleApplication() |
void |
setInteractiveRuleApplication(boolean interactiveRuleApplication) |
void |
setIntermediateRuleApp(AppIntermediate ruleApp) |
void |
setScriptRuleApplication(boolean scriptRuleApplication) |
addChild, getChildren, setChildren
private AppIntermediate ruleApp
private boolean interactiveRuleApplication
private boolean scriptRuleApplication
public AppIntermediate getIntermediateRuleApp()
public void setIntermediateRuleApp(AppIntermediate ruleApp)
public boolean isInteractiveRuleApplication()
public boolean isScriptRuleApplication()
public void setInteractiveRuleApplication(boolean interactiveRuleApplication)
public void setScriptRuleApplication(boolean scriptRuleApplication)