| Class | Description |
|---|---|
| AntecSuccTacletGoalTemplate | |
| AntecTacletBuilder |
class builds Schematic Theory Specific Rules (Taclets) with find part
int antecedent.
|
| FindTacletBuilder<T extends FindTaclet> |
Superclass of TacletBuilder objects that have a non-empty find clause.
|
| NoFindTacletBuilder |
Due to the immutability of
Taclets, they are created in the parsers
using TacletBuilders. |
| RewriteTacletBuilder<T extends RewriteTaclet> |
class builds RewriteTaclet objects.
|
| RewriteTacletBuilderSchemaVarCollector | |
| RewriteTacletGoalTemplate |
this class inherits from TacletGoalTemplate.
|
| SuccTacletBuilder |
class builds SuccTaclet objects.
|
| TacletBuilder<T extends Taclet> |
abstract taclet builder class to be inherited from taclet builders
specialised for their concrete taclet variant
|
| TacletGenerator | |
| TacletGenerator.TermAndBoundVarPair | |
| TacletGoalTemplate |
this class contains the goals of the schematic theory specific
rules (Taclet).
|
| TacletPrefixBuilder |
| Exception | Description |
|---|---|
| TacletBuilder.TacletBuilderException | |
| TacletPrefixBuilder.InvalidPrefixException |