public class TacletSoundnessPOLoader
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static interface |
TacletSoundnessPOLoader.LoaderListener |
static interface |
TacletSoundnessPOLoader.TacletFilter |
static class |
TacletSoundnessPOLoader.TacletInfo |
Constructor and Description |
---|
TacletSoundnessPOLoader(TacletSoundnessPOLoader.LoaderListener listener,
TacletSoundnessPOLoader.TacletFilter filter,
boolean loadAsLemmata,
TacletLoader loader,
InitConfig originalConfig,
boolean isOnlyUsedForProvingTaclets) |
Modifier and Type | Method and Description |
---|---|
void |
addListener(TacletSoundnessPOLoader.LoaderListener listener) |
ProofAggregate |
getResultingProof() |
ImmutableSet<Taclet> |
getResultingTaclets() |
ImmutableSet<Taclet> |
getResultingTacletsForOriginalProof() |
void |
registerProofs(ProofAggregate aggregate,
ProofEnvironment proofEnv) |
void |
removeListener(TacletSoundnessPOLoader.LoaderListener listener) |
void |
start() |
void |
startSynchronously() |
public TacletSoundnessPOLoader(TacletSoundnessPOLoader.LoaderListener listener, TacletSoundnessPOLoader.TacletFilter filter, boolean loadAsLemmata, TacletLoader loader, InitConfig originalConfig, boolean isOnlyUsedForProvingTaclets)
public void addListener(TacletSoundnessPOLoader.LoaderListener listener)
public void removeListener(TacletSoundnessPOLoader.LoaderListener listener)
public void start()
public void startSynchronously()
public ImmutableSet<Taclet> getResultingTacletsForOriginalProof()
public void registerProofs(ProofAggregate aggregate, ProofEnvironment proofEnv)
public ProofAggregate getResultingProof()
public ImmutableSet<Taclet> getResultingTaclets()
Copyright © 2003-2019 The KeY-Project.