Package | Description |
---|---|
de.uka.ilkd.key.gui.smt |
This package contains the graphical user interface of the SMT backend.
|
de.uka.ilkd.key.settings | |
de.uka.ilkd.key.smt |
This package contains the SMT backend of KeY, allowing to translate KeY formulas
to formulas in formats such as SMT-LIB, and allowing to send such formulas to
SMT solvers such as Simplify or Z3.
|
de.uka.ilkd.key.taclettranslation.assumptions |
Class and Description |
---|
SupportedTaclets.TreeItem
TreeItem represents the user data in a tree model.
|
Class and Description |
---|
SupportedTaclets
Change this file if you want to change the set of taclets that can be used
for external provers.
|
Class and Description |
---|
TacletSetTranslation
This interface provides the mechanism of translating taclets to formulae.
|
Class and Description |
---|
SupportedTaclets
Change this file if you want to change the set of taclets that can be used
for external provers.
|
SupportedTaclets.Category
The category of taclets.
|
SupportedTaclets.TreeItem
TreeItem represents the user data in a tree model.
|
SupportedTaclets.TreeItem.SelectionMode |
TacletSetTranslation
This interface provides the mechanism of translating taclets to formulae.
|
TranslationListener
Listener for the classes which implement
TacletTranslator . |
Copyright © 2003-2019 The KeY-Project.