diff options
author | 2017-08-27 17:20:18 +0200 | |
---|---|---|
committer | 2017-08-27 17:20:18 +0200 | |
commit | 04f5e257ca684dfe75262a5cf1f29b72ba197edf (patch) | |
tree | 6dcabdebdb3d7d3af794b39344d965ebf2bc2b6d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | |
parent | simple typemapper for alloy (diff) | |
download | VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.gz VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.zst VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.zip |
Primitive types added to the logic problem only if needed
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore index 174e4508..3c235851 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | |||
@@ -22,7 +22,7 @@ | |||
22 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" | 22 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" |
23 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/> | 23 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/> |
24 | <eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElementPrototypes" | 24 | <eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElementPrototypes" |
25 | lowerBound="1" upperBound="-1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement" | 25 | upperBound="-1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement" |
26 | containment="true"/> | 26 | containment="true"/> |
27 | <eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem" | 27 | <eStructuralFeatures xsi:type="ecore:EReference" name="problemConainer" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem" |
28 | containment="true"/> | 28 | containment="true"/> |