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