Package | Description |
---|---|
de.uka.ilkd.key.macros | |
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
de.uka.ilkd.key.symbolic_execution.strategy |
Modifier and Type | Class and Description |
---|---|
protected class |
PrepareInfFlowContractPreBranchesMacro.RemovePostStrategy
This strategy accepts all rule apps for which the rule name starts with a
string in the admitted set and rejects everything else.
|
Modifier and Type | Class and Description |
---|---|
class |
JavaCardDLStrategy
Strategy tailored to be used as long as a java program can be found in the
sequent.
|
Modifier and Type | Class and Description |
---|---|
class |
SimplifyTermStrategy
|
class |
SymbolicExecutionStrategy
Strategy to use for symbolic execution. |
Copyright © 2003-2019 The KeY-Project.