public class BuiltInRuleAppContainer extends RuleAppContainer
Modifier and Type | Method and Description |
---|---|
RuleApp |
completeRuleApp(Goal goal)
Create a
RuleApp that is suitable to be applied
or null . |
ImmutableList<RuleAppContainer> |
createFurtherApps(Goal goal)
Create a list of new RuleAppContainers that are to be
considered for application.
|
compareTo, createAppContainer, createAppContainers, getCost, getRuleApp
public ImmutableList<RuleAppContainer> createFurtherApps(Goal goal)
RuleAppContainer
createFurtherApps
in class RuleAppContainer
public RuleApp completeRuleApp(Goal goal)
RuleAppContainer
RuleApp
that is suitable to be applied
or null
.completeRuleApp
in class RuleAppContainer
Copyright © 2003-2019 The KeY-Project.