| Interface | Description |
|---|---|
| RuleFilter |
Interface for objects that represent sets of rules, and which can be used
to distinguish different kinds of rules.
|
| Class | Description |
|---|---|
| AndRuleFilter |
Intersection (conjunction) of two rule filters
|
| AnyRuleSetTacletFilter |
Filter that selects taclets that belong to at least one
rule set, i.e.
|
| ClassRuleFilter |
Rule filter that selects taclets which are of a specific class
|
| IHTacletFilter |
Filter that selects taclets using the method
admissible of the
Taclet class, i.e. |
| NotRuleFilter |
Inversion of a rule filter
|
| SetRuleFilter |
Rule filter that selects taclets which are members of a given explicit set
|
| TacletFilter |
Interface for filtering a list of TacletApps, for example to
choose only taclets for interactive application or taclets
belonging to some given heuristics.
|
| TacletFilter.TacletFilterTrue |
Trival TacletFilter that always returns true;
|
| TacletFilterCloseGoal | |
| TacletFilterSplitGoal |