Package | Description |
---|---|
de.uka.ilkd.key.smt.newsmt2 |
Modifier and Type | Field and Description |
---|---|
static SMTHandlerProperty.BooleanProperty |
HandlerUtil.PROPERTY_NO_TYPE_HIERARCHY
A user SMT property to decide whether the type hierarchy is translated
at all.
|
static SMTHandlerProperty.BooleanProperty |
HandlerUtil.PROPERTY_NOBINDERS
A property that can be used by various handlers that deal with
binders.
|
static SMTHandlerProperty.BooleanProperty |
IntegerOpHandler.PROPERTY_PRESBURGER |
Modifier and Type | Method and Description |
---|---|
R |
SMTHandlerPropertyVisitor.visit(SMTHandlerProperty.BooleanProperty booleanProp,
A arg) |
Copyright © 2003-2019 The KeY-Project.