Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: VIATRA2 R3 Incremental Pattern matcher
Bundle-SymbolicName: org.eclipse.viatra2.gtasm.patternmatcher.incremental;singleton:=true
Bundle-Version: 3.3.0.qualifier
Require-Bundle: org.eclipse.core.runtime,
 org.eclipse.viatra2.core2,
 org.eclipse.viatra2.gtasm.patternmatcher,
 org.eclipse.viatra2.gtasm.model,
 org.eclipse.viatra2.gtasm.interpreter,
 org.eclipse.viatra2.gtasm.patternmatcher.impl,
 org.eclipse.viatra2.gtasm.interpreter.term,
 org.eclipse.viatra2.gtasm.patternmatcher.incremental.rete;bundle-version="3.0.0";visibility:=reexport,
 org.eclipse.viatra2.gtasm.support;bundle-version="3.2.0"
Export-Package: org.eclipse.viatra2.gtasm.patternmatcher.incremental,
 org.eclipse.viatra2.gtasm.patternmatcher.incremental.adapters,
 org.eclipse.viatra2.gtasm.patternmatcher.incremental.simple
Bundle-Vendor: BUTE-FTSRG / Bergmann Gabor
Bundle-ClassPath: .
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy