public abstract class TacletFilter extends java.lang.Object implements RuleFilter
Modifier and Type | Field and Description |
---|---|
static TacletFilter |
TRUE
Trival TacletFilter that always returns true;
|
Constructor and Description |
---|
TacletFilter() |
Modifier and Type | Method and Description |
---|---|
boolean |
filter(Rule rule) |
protected abstract boolean |
filter(Taclet taclet) |
public static final TacletFilter TRUE
public boolean filter(Rule rule)
filter
in interface RuleFilter
protected abstract boolean filter(Taclet taclet)
taclet
should be included in the
resultCopyright © 2003-2019 The KeY-Project.