| Interface | Description |
|---|---|
| SkeletonGenerator | |
| TacletFormula |
Represents the formula of a taclet.
|
| TacletTranslator |
| Class | Description |
|---|---|
| AbstractSkeletonGenerator |
Translates a taclet into a logical skeleton without instantiating
the schema variables.
|
| DefaultTacletTranslator |
Translates a rewrite taclet to a formula.
|
| TacletVisitor |
| Enum | Description |
|---|---|
| DefaultTacletTranslator.TacletSections |
| Exception | Description |
|---|---|
| IllegalTacletException |