- All Implemented Interfaces:
- RuleFilter
public class IHTacletFilter
extends TacletFilter
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.