de.uka.ilkd.key.proof.rulefilter

Class AnyRuleSetTacletFilter

java.lang.Object

de.uka.ilkd.key.proof.rulefilter.TacletFilter

de.uka.ilkd.key.proof.rulefilter.AnyRuleSetTacletFilter

All Implemented Interfaces:

RuleFilter

public class AnyRuleSetTacletFilter
extends TacletFilter

Filter that selects taclets that belong to at least one rule set, i.e. taclets that can be applied automatically.

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.proof.rulefilter.TacletFilter

TacletFilter.TacletFilterTrue

Field Summary

Fields

Modifier and Type	Field and Description
static TacletFilter	INSTANCE

Fields inherited from class de.uka.ilkd.key.proof.rulefilter.TacletFilter

TRUE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	AnyRuleSetTacletFilter()

Method Summary

Modifier and Type	Method and Description
boolean	filter(Taclet taclet)

Methods inherited from class de.uka.ilkd.key.proof.rulefilter.TacletFilter

filter

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

INSTANCE

public static final TacletFilter INSTANCE

Constructor Detail

AnyRuleSetTacletFilter

private AnyRuleSetTacletFilter()

Method Detail

filter

public boolean filter(Taclet taclet)

Specified by:

filter in class TacletFilter

Returns:

true iff taclet should be included in the result