public abstract class TacletAppContainer extends RuleAppContainer
Modifier and Type | Field and Description |
---|---|
private long |
age |
Modifier | Constructor and Description |
---|---|
protected |
TacletAppContainer(RuleApp p_app,
RuleAppCost p_cost,
long p_age) |
Modifier and Type | Method and Description |
---|---|
private ImmutableList<RuleAppContainer> |
addContainer(NoPosTacletApp app,
ImmutableList<RuleAppContainer> targetList,
Goal p_goal)
Create a container object for the given taclet app, provided that the app
is
sufficientlyComplete , and add the container to
targetList |
private ImmutableList<RuleAppContainer> |
addContainer(NoPosTacletApp app,
ImmutableList<RuleAppContainer> targetList,
Goal p_goal,
RuleAppCost cost)
Create a container object for the given taclet app, provided that the app
is
sufficientlyComplete , and add the container to
targetList |
private ImmutableList<RuleAppContainer> |
addInstances(NoPosTacletApp app,
ImmutableList<RuleAppContainer> targetList,
Goal p_goal)
Add all instances of the given taclet app (that are possibly produced
using method
instantiateApp of the strategy) to
targetList |
TacletApp |
completeRuleApp(Goal p_goal)
Create a
RuleApp that is suitable to be applied
or null . |
(package private) static RuleAppContainer |
createAppContainers(NoPosTacletApp p_app,
Goal p_goal)
Create containers for NoFindTaclets.
|
(package private) static RuleAppContainer |
createAppContainers(NoPosTacletApp p_app,
PosInOccurrence p_pio,
Goal p_goal)
Create containers for FindTaclets or NoFindTaclets.
|
private TacletAppContainer |
createContainer(Goal p_goal) |
protected static TacletAppContainer |
createContainer(NoPosTacletApp p_app,
PosInOccurrence p_pio,
Goal p_goal,
boolean p_initial) |
private static TacletAppContainer |
createContainer(NoPosTacletApp p_app,
PosInOccurrence p_pio,
Goal p_goal,
RuleAppCost p_cost,
boolean p_initial) |
ImmutableList<RuleAppContainer> |
createFurtherApps(Goal p_goal)
Create a list of new RuleAppContainers that are to be
considered for application.
|
protected static ImmutableList<RuleAppContainer> |
createInitialAppContainers(ImmutableList<NoPosTacletApp> p_app,
PosInOccurrence p_pio,
Goal p_goal) |
long |
getAge() |
protected PosInOccurrence |
getPosInOccurrence(Goal p_goal) |
protected NoPosTacletApp |
getTacletApp() |
protected boolean |
ifFormulasStillValid(Goal p_goal) |
private ImmutableList<NoPosTacletApp> |
incMatchIfFormulas(Goal p_goal) |
private ImmutableList<RuleAppContainer> |
instantiateApp(NoPosTacletApp app,
ImmutableList<RuleAppContainer> targetList,
Goal p_goal)
Use the method
instantiateApp of the strategy for choosing
the values of schema variables that have not been instantiated so far |
protected abstract boolean |
isStillApplicable(Goal p_goal) |
private static boolean |
sufficientlyCompleteApp(NoPosTacletApp app) |
compareTo, createAppContainer, createAppContainers, getCost, getRuleApp
protected TacletAppContainer(RuleApp p_app, RuleAppCost p_cost, long p_age)
protected NoPosTacletApp getTacletApp()
public long getAge()
private ImmutableList<NoPosTacletApp> incMatchIfFormulas(Goal p_goal)
protected static TacletAppContainer createContainer(NoPosTacletApp p_app, PosInOccurrence p_pio, Goal p_goal, boolean p_initial)
private static TacletAppContainer createContainer(NoPosTacletApp p_app, PosInOccurrence p_pio, Goal p_goal, RuleAppCost p_cost, boolean p_initial)
public final ImmutableList<RuleAppContainer> createFurtherApps(Goal p_goal)
createFurtherApps
in class RuleAppContainer
private ImmutableList<RuleAppContainer> addInstances(NoPosTacletApp app, ImmutableList<RuleAppContainer> targetList, Goal p_goal)
instantiateApp
of the strategy) to
targetList
private ImmutableList<RuleAppContainer> instantiateApp(NoPosTacletApp app, ImmutableList<RuleAppContainer> targetList, Goal p_goal)
instantiateApp
of the strategy for choosing
the values of schema variables that have not been instantiated so farprivate ImmutableList<RuleAppContainer> addContainer(NoPosTacletApp app, ImmutableList<RuleAppContainer> targetList, Goal p_goal)
sufficientlyComplete
, and add the container to
targetList
private ImmutableList<RuleAppContainer> addContainer(NoPosTacletApp app, ImmutableList<RuleAppContainer> targetList, Goal p_goal, RuleAppCost cost)
sufficientlyComplete
, and add the container to
targetList
private static boolean sufficientlyCompleteApp(NoPosTacletApp app)
private TacletAppContainer createContainer(Goal p_goal)
static RuleAppContainer createAppContainers(NoPosTacletApp p_app, Goal p_goal)
protected static ImmutableList<RuleAppContainer> createInitialAppContainers(ImmutableList<NoPosTacletApp> p_app, PosInOccurrence p_pio, Goal p_goal)
static RuleAppContainer createAppContainers(NoPosTacletApp p_app, PosInOccurrence p_pio, Goal p_goal)
p_app
- if p_pio
is null, p_app
has to be
a TacletApp
for a NoFindTaclet
,
otherwise for a FindTaclet
.TopRuleAppCost
.protected boolean ifFormulasStillValid(Goal p_goal)
protected abstract boolean isStillApplicable(Goal p_goal)
protected PosInOccurrence getPosInOccurrence(Goal p_goal)
public TacletApp completeRuleApp(Goal p_goal)
RuleApp
that is suitable to be applied
or null
.completeRuleApp
in class RuleAppContainer