de.uka.ilkd.key.proof.rulefilter

Class TacletFilterCloseGoal

java.lang.Object

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

de.uka.ilkd.key.proof.rulefilter.TacletFilterCloseGoal

All Implemented Interfaces:

RuleFilter

public class TacletFilterCloseGoal
extends TacletFilter

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 TacletFilterCloseGoal	INSTANCE

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

TRUE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	TacletFilterCloseGoal()

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

Field Detail

INSTANCE

public static final TacletFilterCloseGoal INSTANCE

Constructor Detail

TacletFilterCloseGoal

private TacletFilterCloseGoal()

Method Detail

filter

protected boolean filter(Taclet taclet)

Specified by:

filter in class TacletFilter

Returns:

true iff taclet should be included in the result