public class LoopApplyHeadCompletion extends java.lang.Object implements InteractiveRuleApplicationCompletion
LoopApplyHeadBuiltInRuleApp
.Constructor and Description |
---|
LoopApplyHeadCompletion(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
boolean |
canComplete(IBuiltInRuleApp app)
checks if this instance is responsible for the given app
|
IBuiltInRuleApp |
complete(IBuiltInRuleApp application,
Goal goal,
boolean force)
method called to complete the given builtin rule application
|
LoopApplyHeadCompletion(MainWindow mainWindow)
public IBuiltInRuleApp complete(IBuiltInRuleApp application, Goal goal, boolean force)
InteractiveRuleApplicationCompletion
complete
in interface InteractiveRuleApplicationCompletion
application
- the app to completegoal
- the goal where the app will be appliedforce
- a boolean indicating if the user shall be bothered if the instantiation is unique or
can be chosen in a reasonable way as if uniquepublic boolean canComplete(IBuiltInRuleApp app)
InteractiveRuleApplicationCompletion
canComplete
in interface InteractiveRuleApplicationCompletion
app
- the rule app