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. taclets that can be applied automatically.
|
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. with respect to active heuristics and the
interactive flag. |
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 |