public class LemmataHandler extends java.lang.Object implements TacletSoundnessPOLoader.TacletFilter
Constructor and Description |
---|
LemmataHandler(LemmataAutoModeOptions options,
Profile profile) |
Modifier and Type | Method and Description |
---|---|
ImmutableSet<Taclet> |
filter(java.util.List<TacletSoundnessPOLoader.TacletInfo> taclets) |
void |
print(java.lang.String s) |
void |
printException(java.lang.Throwable t) |
void |
println(java.lang.String s) |
void |
start() |
public LemmataHandler(LemmataAutoModeOptions options, Profile profile)
public void println(java.lang.String s)
public void print(java.lang.String s)
public void printException(java.lang.Throwable t)
public void start() throws java.io.IOException, ProofInputException
java.io.IOException
ProofInputException
public ImmutableSet<Taclet> filter(java.util.List<TacletSoundnessPOLoader.TacletInfo> taclets)
filter
in interface TacletSoundnessPOLoader.TacletFilter
Copyright © 2003-2019 The KeY-Project.