Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.proof.delayedcut | |
de.uka.ilkd.key.proof.join |
Constructor and Description |
---|
InspectorForDecisionPredicates(Services services,
Node node,
int cutMode,
java.util.List<ApplicationCheck> additionalChecks) |
Modifier and Type | Class and Description |
---|---|
static class |
ApplicationCheck.NoNewSymbolsCheck
Implementation of an ApplicationCheck which examines if there are new
symbols introduced below the cut node.
|
Modifier and Type | Method and Description |
---|---|
static java.util.List<ApplicationCheck> |
DelayedCutProcessor.getApplicationChecks() |
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
LateApplicationCheck.check(Node node,
Node cutNode,
ApplicationCheck check) |
Copyright © 2003-2019 The KeY-Project.