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.
|
VMTacletMatcher |
Matching algorithm using a virtual machine based approach inspired by Voronkonv et al.
|
Copyright © 2003-2019 The KeY-Project.