Commit c7dcef7d authored by Vincent Aravantinos's avatar Vincent Aravantinos
Browse files

officialized some changes that are automatically done by ecore generator

refs 1868
parent 3d9b1aa8
......@@ -9,7 +9,12 @@ Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.component.AF3ComponentActivator
Require-Bundle: org.fortiss.af3.expression;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.expression;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport
Export-Package: org.fortiss.af3.component,
org.fortiss.af3.component.constraint,
org.fortiss.af3.component.generator.c,
......
......@@ -9,7 +9,14 @@ Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.deployment.AF3DeploymentActivator
Require-Bundle: org.fortiss.af3.platform;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.component;visibility:=reexport,
org.fortiss.af3.expression;visibility:=reexport,
org.fortiss.af3.platform;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport
Export-Package: org.fortiss.af3.deployment,
org.fortiss.af3.deployment.constraint,
org.fortiss.af3.deployment.generator,
......
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AF3 Expression
Bundle-Name: %pluginName
Bundle-SymbolicName: org.fortiss.af3.expression;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-ClassPath: .,
lib/antlr-3.5-complete.jar
Bundle-Vendor: fortiss GmbH
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.expression.AF3ExpressionActivator
Require-Bundle: org.fortiss.af3.generator.common;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.fortiss.af3.generator.common;visibility:=reexport;bundle-version="2.5.0",
org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport
Export-Package: org.fortiss.af3.expression,
org.fortiss.af3.expression.examples,
org.fortiss.af3.expression.generator,
......@@ -23,10 +29,15 @@ Export-Package: org.fortiss.af3.expression,
org.fortiss.af3.expression.model.definitions,
org.fortiss.af3.expression.model.definitions.impl,
org.fortiss.af3.expression.model.definitions.library,
org.fortiss.af3.expression.model.definitions.library.impl,
org.fortiss.af3.expression.model.definitions.library.util,
org.fortiss.af3.expression.model.definitions.util,
org.fortiss.af3.expression.model.impl,
org.fortiss.af3.expression.model.parser,
org.fortiss.af3.expression.model.terms,
org.fortiss.af3.expression.model.terms.collection,
org.fortiss.af3.expression.model.terms.collection.impl,
org.fortiss.af3.expression.model.terms.collection.util,
org.fortiss.af3.expression.model.terms.imperative,
org.fortiss.af3.expression.model.terms.imperative.impl,
org.fortiss.af3.expression.model.terms.imperative.util,
......
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AF3 Generator Commons
Bundle-Name: %pluginName
Bundle-SymbolicName: org.fortiss.af3.generator.common;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-ClassPath: .,
lib/antlr-3.5-complete.jar
Bundle-Vendor: fortiss GmbH
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.generator.common.AF3GeneratorCommonActivator
Require-Bundle: org.fortiss.af3.project;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.af3.project;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.tooling.kernel;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport
Export-Package: org.fortiss.af3.generator.common,
org.fortiss.af3.generator.common.model.c,
org.fortiss.af3.generator.common.model.c.impl,
......
......@@ -16,13 +16,18 @@ Export-Package: org.fortiss.af3.mira,
org.fortiss.af3.mira.model,
org.fortiss.af3.mira.model.functional,
org.fortiss.af3.mira.model.functional.impl,
org.fortiss.af3.mira.model.functional.util,
org.fortiss.af3.mira.model.glossary,
org.fortiss.af3.mira.model.glossary.impl,
org.fortiss.af3.mira.model.glossary.util,
org.fortiss.af3.mira.model.impl,
org.fortiss.af3.mira.model.migration,
org.fortiss.af3.mira.model.relations,
org.fortiss.af3.mira.model.relations.impl,
org.fortiss.af3.mira.model.relations.util,
org.fortiss.af3.mira.model.requirementSource,
org.fortiss.af3.mira.model.requirementSource.impl,
org.fortiss.af3.mira.model.requirementSource.util,
org.fortiss.af3.mira.model.usecase,
org.fortiss.af3.mira.model.usecase.impl,
org.fortiss.af3.mira.model.usecase.util,
......@@ -38,11 +43,17 @@ Export-Package: org.fortiss.af3.mira,
org.fortiss.af3.mira.utils,
org.fortiss.af3.mira.verification,
test.org.fortiss.af3.mira
Require-Bundle: org.fortiss.af3.component;bundle-version="2.5.0";visibility:=reexport,
org.fortiss.af3.msc;bundle-version="2.5.0";visibility:=reexport,
org.fortiss.af3.state;bundle-version="2.5.0";visibility:=reexport,
org.fortiss.af3.mode;bundle-version="2.5.0";visibility:=reexport,
org.fortiss.af3.table;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport,
org.fortiss.af3.component;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.af3.expression;visibility:=reexport,
org.fortiss.af3.msc;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.state;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.mode;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.table;visibility:=reexport;bundle-version="2.5.0"
Bundle-ActivationPolicy: lazy
Bundle-NativeCode: lib/com4j-x86.dll; lib/com4j-amd64.dll
Bundle-Activator: org.fortiss.af3.mira.AF3MiraActivator
......
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AF3 Mode
Bundle-Name: %pluginName
Bundle-SymbolicName: org.fortiss.af3.mode;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-ClassPath: .
Bundle-Vendor: fortiss GmbH
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.mode.AF3ModeActivator
Require-Bundle: org.fortiss.af3.component;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.component;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.expression;visibility:=reexport,
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport
Export-Package: org.fortiss.af3.mode,
org.fortiss.af3.mode.constraint,
org.fortiss.af3.mode.generator.component,
......
......@@ -9,8 +9,14 @@ Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.msc.AF3MSCActivator
Require-Bundle: org.fortiss.af3.expression;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport,
org.fortiss.af3.expression;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.project;visibility:=reexport
Export-Package: org.fortiss.af3.msc,
org.fortiss.af3.msc.model,
org.fortiss.af3.msc.model.impl,
org.fortiss.af3.msc.model.util,
org.fortiss.af3.msc.utils
......@@ -9,7 +9,11 @@ Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.multicore.AF3MulticoreActivator
Require-Bundle: org.fortiss.af3.platform;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport,
org.fortiss.af3.platform;visibility:=reexport;bundle-version="2.5.0"
Export-Package: org.fortiss.af3.multicore,
org.fortiss.af3.multicore.model,
org.fortiss.af3.multicore.model.impl,
......
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AF3 Operatorpanel
Bundle-Name: %pluginName
Bundle-SymbolicName: org.fortiss.af3.operatorpanel;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-ClassPath: .
Bundle-Vendor: fortiss GmbH
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.operatorpanel.AF3OperatorpanelActivator
Require-Bundle: org.fortiss.af3.component;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.component;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.expression;visibility:=reexport,
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport
Export-Package: org.fortiss.af3.operatorpanel,
org.fortiss.af3.operatorpanel.generator.component,
org.fortiss.af3.operatorpanel.model,
......
......@@ -10,7 +10,12 @@ Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.platform.beagle.AF3PlatformBeagleActivator
Require-Bundle: org.fortiss.af3.deployment;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.fortiss.af3.deployment;visibility:=reexport;bundle-version="2.5.0",
org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.platform;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport
Export-Package: org.fortiss.af3.platform.beagle,
org.fortiss.af3.platform.beagle.model,
org.fortiss.af3.platform.beagle.model.impl,
......
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AF3 Platform
Bundle-Name: %pluginName
Bundle-SymbolicName: org.fortiss.af3.platform;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-ClassPath: .
Bundle-Vendor: fortiss GmbH
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.platform.AF3PlatformActivator
Require-Bundle: org.fortiss.af3.component;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.fortiss.af3.component;visibility:=reexport;bundle-version="2.5.0",
org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport
Export-Package: org.fortiss.af3.platform,
org.fortiss.af3.platform.generic.generator.executable,
org.fortiss.af3.platform.generic.generator.transform,
......
......@@ -39,7 +39,10 @@ Export-Package: org.fortiss.af3.project,
org.fortiss.af3.project.utils,
test.org.fortiss.af3.project,
test.org.fortiss.af3.testbase
Require-Bundle: org.fortiss.tooling.base;bundle-version="2.5.0";visibility:=reexport,
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport;bundle-version="2.5.0",
org.eclipse.jface;bundle-version="3.7.0"
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.project.AF3ProjectActivator
......@@ -9,10 +9,17 @@ Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.refinement.AF3RefinementActivator
Require-Bundle: org.fortiss.af3.project;bundle-version="2.5.0";visibility:=reexport,
org.fortiss.af3.component;bundle-version="2.5.0";visibility:=reexport,
org.fortiss.af3.testing.method.random;bundle-version="2.5.0";visibility:=reexport,
org.fortiss.af3.msc;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.fortiss.af3.project;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.state;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport,
org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.component;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.expression;visibility:=reexport,
org.fortiss.af3.testing.method.random;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.testing;visibility:=reexport,
org.fortiss.af3.msc;visibility:=reexport;bundle-version="2.5.0"
Export-Package: org.fortiss.af3.refinement,
org.fortiss.af3.refinement.command,
org.fortiss.af3.refinement.compose,
......
......@@ -9,7 +9,13 @@ Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.state.AF3StateActivator
Require-Bundle: org.fortiss.af3.component;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.component;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.expression;visibility:=reexport,
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport
Export-Package: org.fortiss.af3.state,
org.fortiss.af3.state.constraint,
org.fortiss.af3.state.generator.component,
......
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AF3 Test Generation (Common Interface)
Bundle-Name: %pluginName
Bundle-SymbolicName: org.fortiss.af3.testing;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-Activator: org.fortiss.af3.testing.Af3TestingActivator
Bundle-Vendor: fortiss GmbH
Require-Bundle: org.fortiss.af3.analyses;bundle-version="2.5.0";visibility:=reexport,
org.fortiss.af3.deployment.ui;bundle-version="2.5.0";visibility:=reexport,
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Require-Bundle: org.fortiss.af3.analyses;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.deployment.ui;visibility:=reexport;bundle-version="2.5.0",
org.eclipse.core.databinding.property;bundle-version="1.4.0",
org.fortiss.af3.table;bundle-version="1.0.0"
org.fortiss.af3.table;bundle-version="1.0.0",
org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.component;visibility:=reexport,
org.fortiss.af3.expression;visibility:=reexport,
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.af3.state;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Export-Package: org.fortiss.af3.testing,
......
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: AF3 Tools
Bundle-Name: %pluginName
Bundle-SymbolicName: org.fortiss.af3.tools;singleton:=true
Bundle-Version: 2.5.0.qualifier
Bundle-ClassPath: .
Bundle-Vendor: fortiss GmbH
Bundle-Vendor: %providerName
Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.tools.ToolsActivator
Require-Bundle: org.fortiss.af3.expression;bundle-version="2.5.0";visibility:=reexport
Require-Bundle: org.eclipse.core.runtime,
org.eclipse.emf.ecore;visibility:=reexport,
org.fortiss.af3.expression;visibility:=reexport;bundle-version="2.5.0",
org.fortiss.af3.project;visibility:=reexport,
org.fortiss.tooling.kernel;visibility:=reexport,
org.fortiss.tooling.base;visibility:=reexport,
org.fortiss.af3.generator.common;visibility:=reexport
Export-Package: org.fortiss.af3.tools,
org.fortiss.af3.tools.base,
org.fortiss.af3.tools.cprover.model,
org.fortiss.af3.tools.cprover.model.impl,
org.fortiss.af3.tools.cprover.model.run,
org.fortiss.af3.tools.cprover.model.run.impl,
org.fortiss.af3.tools.cprover.model.run.util,
org.fortiss.af3.tools.cprover.model.util,
org.fortiss.af3.tools.cprover.run,
org.fortiss.af3.tools.cprover.run.cbmc,
org.fortiss.af3.tools.cprover.run.satabs,
......@@ -22,7 +33,11 @@ Export-Package: org.fortiss.af3.tools,
org.fortiss.af3.tools.nusmv.model.assign.impl,
org.fortiss.af3.tools.nusmv.model.assign.util,
org.fortiss.af3.tools.nusmv.model.constants,
org.fortiss.af3.tools.nusmv.model.constants.impl,
org.fortiss.af3.tools.nusmv.model.constants.util,
org.fortiss.af3.tools.nusmv.model.constraints,
org.fortiss.af3.tools.nusmv.model.constraints.impl,
org.fortiss.af3.tools.nusmv.model.constraints.util,
org.fortiss.af3.tools.nusmv.model.cpp,
org.fortiss.af3.tools.nusmv.model.cpp.impl,
org.fortiss.af3.tools.nusmv.model.cpp.util,
......@@ -34,10 +49,14 @@ Export-Package: org.fortiss.af3.tools,
org.fortiss.af3.tools.nusmv.model.exp.util,
org.fortiss.af3.tools.nusmv.model.impl,
org.fortiss.af3.tools.nusmv.model.ltlspec,
org.fortiss.af3.tools.nusmv.model.ltlspec.impl,
org.fortiss.af3.tools.nusmv.model.ltlspec.util,
org.fortiss.af3.tools.nusmv.model.module,
org.fortiss.af3.tools.nusmv.model.module.impl,
org.fortiss.af3.tools.nusmv.model.module.util,
org.fortiss.af3.tools.nusmv.model.operators,
org.fortiss.af3.tools.nusmv.model.operators.impl,
org.fortiss.af3.tools.nusmv.model.operators.util,
org.fortiss.af3.tools.nusmv.model.run,
org.fortiss.af3.tools.nusmv.model.run.impl,
org.fortiss.af3.tools.nusmv.model.run.util,
......@@ -45,6 +64,8 @@ Export-Package: org.fortiss.af3.tools,
org.fortiss.af3.tools.nusmv.model.spec.impl,
org.fortiss.af3.tools.nusmv.model.spec.util,
org.fortiss.af3.tools.nusmv.model.trans,
org.fortiss.af3.tools.nusmv.model.trans.impl,
org.fortiss.af3.tools.nusmv.model.trans.util,
org.fortiss.af3.tools.nusmv.model.types,
org.fortiss.af3.tools.nusmv.model.types.impl,
org.fortiss.af3.tools.nusmv.model.types.util,
......@@ -53,10 +74,22 @@ Export-Package: org.fortiss.af3.tools,
org.fortiss.af3.tools.nusmv.textgen,
org.fortiss.af3.tools.smtlib.model,
org.fortiss.af3.tools.smtlib.model.commands,
org.fortiss.af3.tools.smtlib.model.commands.impl,
org.fortiss.af3.tools.smtlib.model.commands.util,
org.fortiss.af3.tools.smtlib.model.expressions,
org.fortiss.af3.tools.smtlib.model.expressions.impl,
org.fortiss.af3.tools.smtlib.model.expressions.util,
org.fortiss.af3.tools.smtlib.model.functions,
org.fortiss.af3.tools.smtlib.model.functions.impl,
org.fortiss.af3.tools.smtlib.model.functions.util,
org.fortiss.af3.tools.smtlib.model.impl,
org.fortiss.af3.tools.smtlib.model.run,
org.fortiss.af3.tools.smtlib.model.run.impl,
org.fortiss.af3.tools.smtlib.model.run.util,
org.fortiss.af3.tools.smtlib.model.types,
org.fortiss.af3.tools.smtlib.model.types.impl,
org.fortiss.af3.tools.smtlib.model.types.util,
org.fortiss.af3.tools.smtlib.model.util,
org.fortiss.af3.tools.smtlib.run,
org.fortiss.af3.tools.smtlib.textgen,
org.fortiss.af3.tools.smtsolverbase.textgen,
......@@ -67,6 +100,8 @@ Export-Package: org.fortiss.af3.tools,
org.fortiss.af3.tools.yices.model.impl,
org.fortiss.af3.tools.yices.model.types,
org.fortiss.af3.tools.yices.model.types.constructor,
org.fortiss.af3.tools.yices.model.types.constructor.impl,
org.fortiss.af3.tools.yices.model.types.constructor.util,
org.fortiss.af3.tools.yices.model.types.impl,
org.fortiss.af3.tools.yices.model.types.util,
org.fortiss.af3.tools.yices.model.util,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment