public class NoFindTacletAppContainer extends TacletAppContainer
Constructor and Description |
---|
NoFindTacletAppContainer(NoPosTacletApp p_app,
RuleAppCost p_cost,
long p_age) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
isStillApplicable(Goal p_goal) |
completeRuleApp, createAppContainers, createAppContainers, createContainer, createFurtherApps, createInitialAppContainers, getAge, getPosInOccurrence, getTacletApp, ifFormulasStillValid
compareTo, createAppContainer, createAppContainers, getCost, getRuleApp
NoFindTacletAppContainer(NoPosTacletApp p_app, RuleAppCost p_cost, long p_age)
protected boolean isStillApplicable(Goal p_goal)
isStillApplicable
in class TacletAppContainer