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
Taclet s, they are created in the parsers
using TacletBuilder s. |
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 |