public class TacletFilterCloseGoal extends TacletFilter
Modifier and Type | Field and Description |
---|---|
static TacletFilterCloseGoal |
INSTANCE |
TRUE
Modifier and Type | Method and Description |
---|---|
protected boolean |
filter(Taclet taclet) |
filter
public static final TacletFilterCloseGoal INSTANCE
protected boolean filter(Taclet taclet)
filter
in class TacletFilter
taclet
should be included in the
resultCopyright © 2003-2019 The KeY-Project.