de.uka.ilkd.key.proof.rulefilter

Class TacletFilterSplitGoal

java.lang.Object

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

de.uka.ilkd.key.proof.rulefilter.TacletFilterSplitGoal

All Implemented Interfaces:

RuleFilter

public class TacletFilterSplitGoal
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 TacletFilterSplitGoal	INSTANCE

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

TRUE

Constructor Summary

Constructors

Modifier	Constructor and Description
private	TacletFilterSplitGoal()

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

Constructor Detail

TacletFilterSplitGoal

private TacletFilterSplitGoal()

Method Detail

filter

protected boolean filter(Taclet taclet)

Specified by:

filter in class TacletFilter

Returns:

true iff taclet should be included in the result