| Class | Description |
|---|---|
| TacletMatchProgram |
Instances of this class represent programs for matching a term against a given pattern.
|
| TermNavigator |
An iterator that walks in first-depth order through the term.
|
| TermNavigator.MutablePair |
A mutable tuple of two types
|
| VMTacletMatcher |
Matching algorithm using a virtual machine based approach inspired by Voronkonv et al.
|