public class IHTacletFilter extends TacletFilter
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.TacletFilter.TacletFilterTrue
Modifier and Type | Field and Description |
---|---|
private java.util.HashMap<Taclet,java.lang.Boolean> |
filterCache |
private ImmutableList<RuleSet> |
heuristics |
private boolean |
interactive |
TRUE
Constructor and Description |
---|
IHTacletFilter(boolean interactive,
ImmutableList<RuleSet> heuristics) |
Modifier and Type | Method and Description |
---|---|
boolean |
filter(Taclet taclet) |
filter
private final boolean interactive
private final ImmutableList<RuleSet> heuristics
private final java.util.HashMap<Taclet,java.lang.Boolean> filterCache
public IHTacletFilter(boolean interactive, ImmutableList<RuleSet> heuristics)
public boolean filter(Taclet taclet)
filter
in class TacletFilter
taclet
should be included in the
result