Package | Description |
---|---|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
Modifier and Type | Method and Description |
---|---|
RuleAppCost |
NumberRuleAppCost.add(NumberRuleAppCost cost2) |
int |
NumberRuleAppCost.compareTo(NumberRuleAppCost c) |
Copyright © 2003-2019 The KeY-Project.