<?xml version="1.0" encoding="UTF-8"?> | |
<?eclipse version="3.2"?> | |
<plugin> | |
<extension | |
point="org.eclipse.viatra2.gtasm.interpreter.patternmatcher"> | |
<matcherfactory | |
class="viatra.incremental.rete.RetePatternMatcherFactory" | |
id="org.eclipse.viatra2.patternmatcher.incremental_rete_parallel" | |
name="RETE Pattern Matcher Factory - Parallel Engine"/> | |
</extension> | |
</plugin> |