Package | Description |
---|---|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.macros | |
de.uka.ilkd.key.prover | |
de.uka.ilkd.key.prover.impl | |
de.uka.ilkd.key.symbolic_execution.model.impl | |
de.uka.ilkd.key.symbolic_execution.strategy | |
de.uka.ilkd.key.symbolic_execution.util | |
de.uka.ilkd.key.util |
This package is a grab bag of miscellaneous useful code fragments.
|
org.key_project.ui.interactionlog | |
org.key_project.ui.interactionlog.model |
Class and Description |
---|
ApplyStrategyInfo
The final result of the strategy application is stored in this container
and returned to the instance that started the strategies.
|
Class and Description |
---|
DefaultTaskFinishedInfo |
Class and Description |
---|
ApplyStrategyInfo
The final result of the strategy application is stored in this container
and returned to the instance that started the strategies.
|
SingleRuleApplicationInfo
Instances of this class are used to store if a rule could be applied automatically and if not
to store the reason why no rule applications could be performed.
|
Class and Description |
---|
AbstractProverCore
Common class for provers which takes care of listener registration and task event propagation
|
ApplyStrategyInfo
The final result of the strategy application is stored in this container
and returned to the instance that started the strategies.
|
DefaultGoalChooser
Helper class for managing a list of goals on which rules are applied.
|
SingleRuleApplicationInfo
Instances of this class are used to store if a rule could be applied automatically and if not
to store the reason why no rule applications could be performed.
|
Class and Description |
---|
ApplyStrategyInfo
The final result of the strategy application is stored in this container
and returned to the instance that started the strategies.
|
Class and Description |
---|
DefaultGoalChooser
Helper class for managing a list of goals on which rules are applied.
|
DepthFirstGoalChooser
Helper class for managing a list of goals on which rules are applied.
|
SingleRuleApplicationInfo
Instances of this class are used to store if a rule could be applied automatically and if not
to store the reason why no rule applications could be performed.
|
Class and Description |
---|
ApplyStrategyInfo
The final result of the strategy application is stored in this container
and returned to the instance that started the strategies.
|
Class and Description |
---|
ApplyStrategyInfo
The final result of the strategy application is stored in this container
and returned to the instance that started the strategies.
|
Class and Description |
---|
ApplyStrategyInfo
The final result of the strategy application is stored in this container
and returned to the instance that started the strategies.
|
Class and Description |
---|
ApplyStrategyInfo
The final result of the strategy application is stored in this container
and returned to the instance that started the strategies.
|
Copyright © 2003-2019 The KeY-Project.