de.uka.ilkd.key.taclettranslation.lemma

Interface TacletSoundnessPOLoader.TacletFilter

All Known Implementing Classes:

LemmaSelectionDialog, LemmataHandler

Enclosing class:

TacletSoundnessPOLoader

public static interface TacletSoundnessPOLoader.TacletFilter

Method Summary

Modifier and Type	Method and Description
ImmutableSet<Taclet>	filter(List<TacletSoundnessPOLoader.TacletInfo> taclets)

Method Detail

filter

ImmutableSet<Taclet> filter(List<TacletSoundnessPOLoader.TacletInfo> taclets)