Manifest-Version: 1.0 Bundle-ManifestVersion: 2 Bundle-Name: VIATRA2 R3 Pattern Matcher Implementation Bundle-SymbolicName: org.eclipse.viatra2.gtasm.patternmatcher.impl;singleton:=true Bundle-Version: 3.3.0.qualifier Export-Package: org.eclipse.viatra2.gtasm.patternmatcher.impl.gtmatcher.core, org.eclipse.viatra2.gtasm.patternmatcher.impl.gtmatcher.exceptions, org.eclipse.viatra2.gtasm.patternmatcher.impl.gtmatcher.extension, org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.core, org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.internal, org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.internal.algorithms, org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.internal.callgraph, org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.internal.operation, org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.internal.rgg, org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.internal.searchgraph, org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.term Require-Bundle: org.eclipse.viatra2.core2, org.eclipse.viatra2.gtasm.model, org.eclipse.viatra2.gtasm.patternmatcher, org.eclipse.viatra2.gtasm.interpreter, org.eclipse.core.runtime, org.eclipse.viatra2.gtasm.interpreter.term, org.eclipse.viatra2.gtasm.interpreter.impl Bundle-Vendor: BUTE-FTSRG Bundle-ActivationPolicy: lazy Bundle-ClassPath: . Bundle-Activator: org.eclipse.viatra2.gtasm.patternmatcher.impl.gtmatcher.extension.VIATRAGTMatcherPlugin Bundle-RequiredExecutionEnvironment: JavaSE-1.6