| 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.
|