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