Package | Description |
---|---|
de.uka.ilkd.key.rule |
This package contains classes for implementing rules.
|
de.uka.ilkd.key.rule.executor.javadl | |
de.uka.ilkd.key.rule.tacletbuilder |
Modifier and Type | Method and Description |
---|---|
SuccTaclet |
SuccTaclet.setName(java.lang.String s) |
Modifier and Type | Class and Description |
---|---|
class |
SuccTacletExecutor<TacletKind extends SuccTaclet> |
Modifier and Type | Method and Description |
---|---|
SuccTaclet |
SuccTacletBuilder.getSuccTaclet()
builds and returns the SuccTaclet that is specified by
former set...
|
SuccTaclet |
SuccTacletBuilder.getTaclet()
builds and returns the Taclet that is specified by
former set...
|
Copyright © 2003-2019 The KeY-Project.