de.uka.ilkd.key.proof.rulefilter

Class TacletFilter.TacletFilterTrue

java.lang.Object

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

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

All Implemented Interfaces:

RuleFilter

Enclosing class:

TacletFilter

static class TacletFilter.TacletFilterTrue
extends TacletFilter

Trival TacletFilter that always returns true;

Nested Class Summary

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

TacletFilter.TacletFilterTrue

Field Summary

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

TRUE

Constructor Summary

Constructors

Constructor and Description
TacletFilterTrue()

Method Summary

Modifier and Type	Method and Description
protected 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

Constructor Detail

TacletFilterTrue

TacletFilterTrue()

Method Detail

filter

protected boolean filter(Taclet taclet)

Specified by:

filter in class TacletFilter

Returns:

true iff taclet should be included in the result