Interface | Description |
---|---|
SkeletonGenerator | |
TacletFormula |
Represents the formula of a taclet.
It provides methods to get the formula and its corresponding taclet. The setting of the formula and the taclet is dedicated to the constructor of the implementing class. |
TacletTranslator |
Class | Description |
---|---|
DefaultTacletTranslator |
Translates a rewrite taclet to a formula.
|
TacletVisitor |
Exception | Description |
---|---|
IllegalTacletException |
Copyright © 2003-2019 The KeY-Project.