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 |