Package | Description |
---|---|
de.uka.ilkd.key.smt.newsmt2 |
Modifier and Type | Class and Description |
---|---|
static class |
SMTHandlerProperty.BooleanProperty
A property of type boolean.
|
static class |
SMTHandlerProperty.EnumProperty<E extends java.lang.Enum<E>>
A property for an enum type.
|
static class |
SMTHandlerProperty.IntegerProperty
A property of type int.
|
static class |
SMTHandlerProperty.StringProperty
A property of type String.
|
Modifier and Type | Field and Description |
---|---|
static java.util.List<? extends SMTHandlerProperty<?>> |
HandlerUtil.GLOBAL_PROPERTIES
This lists the handler properties that do not belong to a particular
SMT handler.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<SMTHandlerProperty<?>> |
DefinedSymbolsHandler.getProperties() |
java.util.List<SMTHandlerProperty<?>> |
SeqDefHandler.getProperties() |
default java.util.List<SMTHandlerProperty<?>> |
SMTHandler.getProperties()
Any handler can offer a collection of properties that can be set
in the GUI/script to control the translation.
|
java.util.List<SMTHandlerProperty<?>> |
IntegerOpHandler.getProperties() |
java.util.Collection<SMTHandlerProperty<?>> |
SMTHandlerServices.getSMTProperties()
Get the list of all
SMTHandlerProperty s known in the system |
Copyright © 2003-2019 The KeY-Project.