Package | Description |
---|---|
de.uka.ilkd.key.prover | |
de.uka.ilkd.key.prover.impl | |
de.uka.ilkd.key.settings |
Modifier and Type | Method and Description |
---|---|
ApplyStrategyInfo |
ProverCore.start(Proof proof,
ImmutableList<Goal> goals,
StrategySettings stratSet)
starts a proof search for a set of goals using the given strategy settings
instead the ones configures in the proof
|
Modifier and Type | Method and Description |
---|---|
ApplyStrategyInfo |
ApplyStrategy.start(Proof proof,
ImmutableList<Goal> goals,
StrategySettings stratSet) |
Modifier and Type | Method and Description |
---|---|
StrategySettings |
ProofSettings.getStrategySettings()
returns the StrategySettings object
|
Copyright © 2003-2019 The KeY-Project.