public abstract class RuleAppContainer extends java.lang.Object implements java.lang.Comparable<RuleAppContainer>
Modifier and Type | Field and Description |
---|---|
private RuleAppCost |
cost
The costs of the stored rule app
|
private RuleApp |
ruleApp
The stored rule app
|
Modifier | Constructor and Description |
---|---|
protected |
RuleAppContainer(RuleApp p_app,
RuleAppCost p_cost) |
Modifier and Type | Method and Description |
---|---|
int |
compareTo(RuleAppContainer o) |
abstract RuleApp |
completeRuleApp(Goal p_goal)
Create a
RuleApp that is suitable to be applied
or null . |
static RuleAppContainer |
createAppContainer(RuleApp p_app,
PosInOccurrence p_pio,
Goal p_goal)
Create container for a RuleApp.
|
static ImmutableList<RuleAppContainer> |
createAppContainers(ImmutableList<? extends RuleApp> rules,
PosInOccurrence pos,
Goal goal)
Create containers for RuleApps.
|
abstract ImmutableList<RuleAppContainer> |
createFurtherApps(Goal p_goal)
Create a list of new RuleAppContainers that are to be
considered for application.
|
RuleAppCost |
getCost() |
protected RuleApp |
getRuleApp() |
private final RuleApp ruleApp
private final RuleAppCost cost
protected RuleAppContainer(RuleApp p_app, RuleAppCost p_cost)
public final int compareTo(RuleAppContainer o)
compareTo
in interface java.lang.Comparable<RuleAppContainer>
public abstract ImmutableList<RuleAppContainer> createFurtherApps(Goal p_goal)
public abstract RuleApp completeRuleApp(Goal p_goal)
RuleApp
that is suitable to be applied
or null
.protected final RuleApp getRuleApp()
public final RuleAppCost getCost()
public static RuleAppContainer createAppContainer(RuleApp p_app, PosInOccurrence p_pio, Goal p_goal)
TopRuleAppCost
.public static ImmutableList<RuleAppContainer> createAppContainers(ImmutableList<? extends RuleApp> rules, PosInOccurrence pos, Goal goal)
TopRuleAppCost
.