Class | Description |
---|---|
AntecTacletExecutor<TacletKind extends AntecTaclet> |
Executes a Taclet which matches on a formula in the antecedent
|
FindTacletExecutor<TacletKind extends FindTaclet> | |
NoFindTacletExecutor | |
RewriteTacletExecutor<TacletKind extends RewriteTaclet> | |
SuccTacletExecutor<TacletKind extends SuccTaclet> | |
TacletExecutor<TacletKind extends Taclet> |
Encapsulates the application engine of taclets.
|