| java.lang.Object de.uka.ilkd.key.proof.TacletFilter de.uka.ilkd.key.proof.IHTacletFilter
IHTacletFilter | public class IHTacletFilter extends TacletFilter (Code) | | Filter that selects taclets using the method admissible of the
Taclet class, i.e. with respect to active heuristics and the
interactive flag.
If the interactive flag is
set the following procedure is used: the non-interactive marked
rules are only taken if the given list of heuristics contains at
least one heuristic of that rule. If the interactive flag is not
set, a rule is taken if the intersection between the given
heuristics and the heuristics of the rule is not empty.
|
Constructor Summary | |
public | IHTacletFilter(boolean interactive, ListOfRuleSet heuristics) |
IHTacletFilter | public IHTacletFilter(boolean interactive, ListOfRuleSet heuristics)(Code) | | |
filter | public boolean filter(Taclet taclet)(Code) | | true iff taclet should be included in theresult |
|
|