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 |
---|---|
AntecTaclet |
AntecTaclet.setName(java.lang.String s) |
Modifier and Type | Class and Description |
---|---|
class |
AntecTacletExecutor<TacletKind extends AntecTaclet>
Executes a Taclet which matches on a formula in the antecedent
|
Modifier and Type | Method and Description |
---|---|
AntecTaclet |
AntecTacletBuilder.getAntecTaclet()
builds and returns the AntecTaclet that is specified by
former set...
|
AntecTaclet |
AntecTacletBuilder.getTaclet()
builds and returns the Taclet that is specified by
former set...
|
Copyright © 2003-2019 The KeY-Project.