Plugins can provide an pattern matcher instance conforming to the IPatternMatcherFactory interface The ID must be set to the name that will be used later (propably as an annotation) to indicate which pattern matcher to use. The already used ones are "org.eclipse.viatra2.local_search" and "org.eclipse.viatra2.incremental_rete"! This must be set to the name that will be used later (propably as an annotation) to indicate which pattern matcher to use. The already used ones are "local_search" and "incremental_rete". [Enter the first release in which this org.eclipse.viatra2.gtasm.patternmatcher.extension point appears.] [Enter org.eclipse.viatra2.gtasm.patternmatcher.extension point usage example here.] [Enter API information here.] [Enter information about supplied implementation of this org.eclipse.viatra2.gtasm.patternmatcher.extension point.]