diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-07-02 23:34:27 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-07-02 23:34:27 +0200 |
| commit | f00ce77fdc3a1417ddfd833f122b64ecef80d7d6 (patch) | |
| tree | 2a26b61a43576f58ed4c35680bd47fa3c15df3d8 /Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model | |
| parent | Multiple model with interpretations (diff) | |
| download | VIATRA-Generator-f00ce77fdc3a1417ddfd833f122b64ecef80d7d6.tar.gz VIATRA-Generator-f00ce77fdc3a1417ddfd833f122b64ecef80d7d6.tar.zst VIATRA-Generator-f00ce77fdc3a1417ddfd833f122b64ecef80d7d6.zip | |
Alloy implementation of multiple model generation
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model')
| -rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel index dd1d46d2..97c59724 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/model/generated/AlloyLanguage.genmodel | |||
| @@ -5,7 +5,7 @@ | |||
| 5 | modelPluginID="hu.bme.mit.inf.dslreasoner.alloy.language" forceOverwrite="true" | 5 | modelPluginID="hu.bme.mit.inf.dslreasoner.alloy.language" forceOverwrite="true" |
| 6 | modelName="AlloyLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | 6 | modelName="AlloyLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" |
| 7 | complianceLevel="6.0" copyrightFields="false" editPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.edit" | 7 | complianceLevel="6.0" copyrightFields="false" editPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.edit" |
| 8 | editorPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.editor" runtimeVersion="2.11"> | 8 | editorPluginID="hu.bme.mit.inf.dslreasoner.alloy.language.editor" runtimeVersion="2.12"> |
| 9 | <genPackages prefix="AlloyLanguage" basePackage="hu.bme.mit.inf.dslreasoner" disposableProviderFactory="true" | 9 | <genPackages prefix="AlloyLanguage" basePackage="hu.bme.mit.inf.dslreasoner" disposableProviderFactory="true" |
| 10 | fileExtensions="als" ecorePackage="AlloyLanguage.ecore#/"> | 10 | fileExtensions="als" ecorePackage="AlloyLanguage.ecore#/"> |
| 11 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="AlloyLanguage.ecore#//ALSMultiplicity"> | 11 | <genEnums typeSafeEnumCompatible="false" ecoreEnum="AlloyLanguage.ecore#//ALSMultiplicity"> |