public class NoFindTacletAppContainer extends TacletAppContainer
Modifier and Type | Method and Description |
---|---|
protected boolean |
isStillApplicable(Goal p_goal) |
completeRuleApp, createContainer, createFurtherApps, createInitialAppContainers, getAge, getPosInOccurrence, getTacletApp, ifFormulasStillValid
compareTo, createAppContainer, createAppContainers, getCost, getRuleApp
protected boolean isStillApplicable(Goal p_goal)
isStillApplicable
in class TacletAppContainer
Copyright © 2003-2019 The KeY-Project.