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.feature.instantiator | |
de.uka.ilkd.key.strategy.quantifierHeuristics | |
de.uka.ilkd.key.strategy.termProjection | |
de.uka.ilkd.key.strategy.termfeature | |
de.uka.ilkd.key.strategy.termgenerator |
Class and Description |
---|
ProjectionToTerm
Interface for mappings from rule applications to terms.
|
TermBuffer
Projection that can store and returns an arbitrary term or formula.
|
Class and Description |
---|
ProjectionToTerm
Interface for mappings from rule applications to terms.
|
TermBuffer
Projection that can store and returns an arbitrary term or formula.
|
Class and Description |
---|
ProjectionToTerm
Interface for mappings from rule applications to terms.
|
TermBuffer
Projection that can store and returns an arbitrary term or formula.
|
Class and Description |
---|
ProjectionToTerm
Interface for mappings from rule applications to terms.
|
Class and Description |
---|
AbstractDividePolynomialsProjection |
ProjectionToTerm
Interface for mappings from rule applications to terms.
|
SVInstantiationProjection
Projection of taclet apps to the instantiation of a schema variable.
|
Class and Description |
---|
TermBuffer
Projection that can store and returns an arbitrary term or formula.
|
Class and Description |
---|
ProjectionToTerm
Interface for mappings from rule applications to terms.
|
Copyright © 2003-2019 The KeY-Project.