Package | Description |
---|---|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
de.uka.ilkd.key.taclettranslation.lemma | |
de.uka.ilkd.key.ui |
Modifier and Type | Method and Description |
---|---|
protected ProblemInitializer |
AbstractUserInterfaceControl.createProblemInitializer(Profile profile)
Creates a new
ProblemInitializer instance which is configured
for this UserInterfaceControl . |
Modifier and Type | Method and Description |
---|---|
void |
AbstractUserInterfaceControl.proofCreated(ProblemInitializer sender,
ProofAggregate proofAggregate) |
Modifier and Type | Method and Description |
---|---|
void |
ProblemInitializer.ProblemInitializerListener.proofCreated(ProblemInitializer sender,
ProofAggregate proofAggregate) |
Modifier and Type | Method and Description |
---|---|
protected ProblemInitializer |
AbstractProblemLoader.createProblemInitializer(FileRepo fileRepo)
Instantiates the
ProblemInitializer to use. |
ProblemInitializer |
AbstractProblemLoader.getProblemInitializer()
Returns the instantiated
ProblemInitializer used during the loading process. |
Constructor and Description |
---|
TacletFromFileLoader(ProgressMonitor pm,
ProblemInitializer.ProblemInitializerListener listener,
ProblemInitializer problemInitializer,
java.io.File fileForTaclets,
java.util.Collection<java.io.File> filesForAxioms,
InitConfig initConfig) |
TacletFromFileLoader(ProgressMonitor pm,
ProblemInitializer.ProblemInitializerListener listener,
ProblemInitializer problemInitializer,
Profile profile,
java.io.File fileForTaclets,
java.util.Collection<java.io.File> filesForAxioms) |
Modifier and Type | Method and Description |
---|---|
ProblemInitializer |
ConsoleUserInterfaceControl.createProblemInitializer(Profile profile) |
Copyright © 2003-2019 The KeY-Project.