<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>
   <extension
         point="org.eclipse.viatra2.gtasm.patternmatcher.patternmatcher">
      <matcherfactory
            annotation_name="incremental"
            class="org.eclipse.viatra2.gtasm.patternmatcher.incremental.RetePatternMatcherFactory"
            id="org.eclipse.viatra2.patternmatcher.incremental_rete"
            name="RETE Pattern Matcher Factory - Parallel Engine"/>
   </extension>
   <extension
         point="org.eclipse.viatra2.core2.properties">
      <propertyprovider
            class="org.eclipse.viatra2.gtasm.patternmatcher.incremental.IncrementalPMPropertyProvider">
      </propertyprovider>
   </extension>
</plugin>