Uses of Interface
it.unitn.disi.smatch.matchers.structure.tree.ITreeMatcher

Packages that use ITreeMatcher

it.unitn.disi.smatch.matchers.structure.tree

Uses of ITreeMatcher in it.unitn.disi.smatch.matchers.structure.tree

Classes in it.unitn.disi.smatch.matchers.structure.tree that implement ITreeMatcher

class	BaselineTreeMatcher Created by IntelliJ IDEA.
class	DefaultTreeMatcher
class	EvalTLMatcher For formula evaluation.
class	OptimizedStageTreeMatcher Matches first disjoint, then subs, then joins subsumption.