org.eclipse.viatra2.gtasm.patternmatcher.impl/plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.2"?>
<plugin>
   <extension
         point="org.eclipse.viatra2.gtasm.patternmatcher.patternmatcher">
      <matcherfactory
            annotation_name="localsearch"
            class="org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.core.LocalSearchPatternMatcherFactory"
            id="org.eclipse.viatra2.patternmatcher.local_search"
            name="Local Search based Pattern Matcher">
      </matcherfactory>
   </extension>
   <extension
         point="org.eclipse.viatra2.gtasm.patternmatcher.gtrulematcher">
      <gtmatcherfactory
            class="org.eclipse.viatra2.gtasm.patternmatcher.impl.gtmatcher.core.LocalSearchGTRuleMatcherFactory"
            id="org.eclipse.viatra2.gtmatcher.local_search"
            name="Local Search based GT Rule Matcher">
      </gtmatcherfactory>
   </extension>
   <extension
         point="org.eclipse.viatra2.gtasm.patternmatcher.gtrulematcher">
      <gtmatcherfactory
            class="org.eclipse.viatra2.gtasm.patternmatcher.impl.gtmatcher.core.ExtendedGTRuleMatcherwithAlternativePatternMatcherFactory"
            id="org.eclipse.viatra2.gtmatcher.alternative"
            name="Alternativer GT Rule Matcher which allows Alternative Pattern Matcher for the LHS">
      </gtmatcherfactory>
   </extension>
</plugin>