Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.proof |
This package contains the core data structures of proofs, nodes, goals, as well
as machinery to deal with these data structures.
|
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
de.uka.ilkd.key.symbolic_execution.profile | |
de.uka.ilkd.key.symbolic_execution.strategy |
Modifier and Type | Method and Description |
---|---|
protected int |
StrategySelectionView.createStrategyProperty(de.uka.ilkd.key.gui.StrategySelectionView.StrategySelectionComponents data,
StrategyFactory factory,
javax.swing.JPanel javaDLOptionsPanel,
java.awt.GridBagLayout javaDLOptionsLayout,
int yCoord,
boolean topLevel,
AbstractStrategyPropertyDefinition definition) |
Modifier and Type | Method and Description |
---|---|
StrategyFactory |
Proof.getActiveStrategyFactory() |
Modifier and Type | Field and Description |
---|---|
static StrategyFactory |
JavaProfile.DEFAULT |
Modifier and Type | Method and Description |
---|---|
StrategyFactory |
Profile.getDefaultStrategyFactory()
returns the strategy factory for the default strategy of this profile
|
StrategyFactory |
JavaProfile.getDefaultStrategyFactory()
the default strategy factory to be used
|
StrategyFactory |
Profile.getStrategyFactory(Name strategyName)
returns the StrategyFactory for strategy
strategyName |
StrategyFactory |
AbstractProfile.getStrategyFactory(Name n) |
Modifier and Type | Method and Description |
---|---|
protected ImmutableSet<StrategyFactory> |
JavaProfile.getStrategyFactories() |
protected ImmutableSet<StrategyFactory> |
AbstractProfile.getStrategyFactories() |
ImmutableSet<StrategyFactory> |
Profile.supportedStrategies()
returns the strategy factories for the supported strategies
|
ImmutableSet<StrategyFactory> |
AbstractProfile.supportedStrategies() |
Modifier and Type | Class and Description |
---|---|
static class |
FIFOStrategy.Factory |
class |
JavaCardDLStrategyFactory |
Modifier and Type | Method and Description |
---|---|
StrategyFactory |
SimplifyTermProfile.getDefaultStrategyFactory()
the default strategy factory to be used
|
Modifier and Type | Method and Description |
---|---|
protected ImmutableSet<StrategyFactory> |
SimplifyTermProfile.getStrategyFactories() |
protected ImmutableSet<StrategyFactory> |
SymbolicExecutionJavaProfile.getStrategyFactories() |
Modifier and Type | Class and Description |
---|---|
static class |
SimplifyTermStrategy.Factory
The
StrategyFactory to create instances of SimplifyTermStrategy . |
static class |
SymbolicExecutionStrategy.Factory
The
StrategyFactory to create instances of SymbolicExecutionStrategy . |
Copyright © 2003-2019 The KeY-Project.