Package | Description |
---|---|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
Modifier and Type | Class and Description |
---|---|
class |
FocussedBreakpointRuleApplicationManager
A rule app manager that ensures that rules are only applied to a certain
subterm within the proof (within a goal).
|
class |
FocussedRuleApplicationManager
A rule app manager that ensures that rules are only applied to a certain
subterm within the proof (within a goal).
|
Copyright © 2003-2019 The KeY-Project.