|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Interface Summary | |
|---|---|
| ITreeMatcher | An interface for tree matchers. |
| Class Summary | |
|---|---|
| BaselineTreeMatcher | Created by IntelliJ IDEA. |
| DefaultTreeMatcher | |
| EvalTLMatcher | For formula evaluation. |
| OptimizedStageTreeMatcher | Matches first disjoint, then subs, then joins subsumption. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||