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