Package | Description |
---|---|
de.uka.ilkd.key.smt.newsmt2 |
Class and Description |
---|
MasterHandler
Instances of this class are the controlling units of the translation.
|
SExpr
This class models s-expressions to be used for the SMT translation.
|
SExpr.Type
An enumeration of the types that an
SExpr can assume. |
SMTHandler
General interface for routines that translate particular KeY data structures
to SMT.
|
SMTHandler.Capability
An enumeration of the possible answers of an handler to the
SMTHandler.canHandle(Term) method. |
SMTHandlerProperty
SMT handler properties are properties for the new modular smt handler.
|
SMTHandlerProperty.BooleanProperty
A property of type boolean.
|
SMTHandlerProperty.EnumProperty
A property for an enum type.
|
SMTHandlerProperty.IntegerProperty
A property of type int.
|
SMTHandlerProperty.StringProperty
A property of type String.
|
SMTHandlerPropertyVisitor
Visitor pattern for
SMTHandlerProperty objects. |
SMTHandlerServices
This class provides some infrastructure to the smt translation proceess.
|
Writable
Writeable objects have the possibility to be written to a
StringBuilder . |
Copyright © 2003-2019 The KeY-Project.