Package | Description |
---|---|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
de.uka.ilkd.key.strategy.feature | |
de.uka.ilkd.key.strategy.quantifierHeuristics | |
de.uka.ilkd.key.strategy.termfeature | |
de.uka.ilkd.key.strategy.termgenerator |
Class and Description |
---|
TermFeature
Interface for computing a cost for a given term or formula
|
Class and Description |
---|
TermFeature
Interface for computing a cost for a given term or formula
|
Class and Description |
---|
BinaryTermFeature
Abstract superclass for features that have either zero cost or top cost.
|
TermFeature
Interface for computing a cost for a given term or formula
|
Class and Description |
---|
AnonHeapTermFeature |
BinaryTermFeature
Abstract superclass for features that have either zero cost or top cost.
|
IsHeapFunctionTermFeature |
IsPostConditionTermFeature
Term has the post condition term label.
|
IsSelectSkolemConstantTermFeature
A schema variable that is used as placeholder for auxiliary heap skolem
constants.
|
PrimitiveHeapTermFeature |
TermFeature
Interface for computing a cost for a given term or formula
|
Class and Description |
---|
TermFeature
Interface for computing a cost for a given term or formula
|
Copyright © 2003-2019 The KeY-Project.