Package | Description |
---|---|
de.uka.ilkd.key.strategy.feature |
Modifier and Type | Class and Description |
---|---|
class |
SimplifyReplaceKnownCandidateFeature
Binary feature that returns true iff the hyper-tableaux simplification method
approves the given application (which is supposed to be the application of a
replace-known rule).
|
Copyright © 2003-2019 The KeY-Project.