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