diff options
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/resources/model/problem.genmodel')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/resources/model/problem.genmodel | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/resources/model/problem.genmodel b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/resources/model/problem.genmodel index 2dfe62e6..379cb028 100644 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/resources/model/problem.genmodel +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/resources/model/problem.genmodel | |||
@@ -25,6 +25,7 @@ | |||
25 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> | 25 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/> |
26 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/superTypes"/> | 26 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/superTypes"/> |
27 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/referenceDeclarations"/> | 27 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/referenceDeclarations"/> |
28 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/newNode"/> | ||
28 | </genClasses> | 29 | </genClasses> |
29 | <genClasses ecoreClass="problem.ecore#//ReferenceDeclaration"> | 30 | <genClasses ecoreClass="problem.ecore#//ReferenceDeclaration"> |
30 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/> | 31 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/> |
@@ -50,8 +51,8 @@ | |||
50 | <genClasses ecoreClass="problem.ecore#//Literal"/> | 51 | <genClasses ecoreClass="problem.ecore#//Literal"/> |
51 | <genClasses ecoreClass="problem.ecore#//Atom"> | 52 | <genClasses ecoreClass="problem.ecore#//Atom"> |
52 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/> | 53 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/> |
53 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/> | ||
54 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/> | 54 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/> |
55 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/> | ||
55 | </genClasses> | 56 | </genClasses> |
56 | <genClasses ecoreClass="problem.ecore#//ImplicitVariable"/> | 57 | <genClasses ecoreClass="problem.ecore#//ImplicitVariable"/> |
57 | <genClasses ecoreClass="problem.ecore#//NegativeLiteral"> | 58 | <genClasses ecoreClass="problem.ecore#//NegativeLiteral"> |
@@ -83,5 +84,10 @@ | |||
83 | <genClasses ecoreClass="problem.ecore#//ExactMultiplicity"> | 84 | <genClasses ecoreClass="problem.ecore#//ExactMultiplicity"> |
84 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/> | 85 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/> |
85 | </genClasses> | 86 | </genClasses> |
87 | <genClasses ecoreClass="problem.ecore#//UnboundedMultiplicity"/> | ||
88 | <genClasses ecoreClass="problem.ecore#//Argument"> | ||
89 | <genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Argument/variable"/> | ||
90 | <genFeatures children="true" createChild="true" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Argument/singletonVariable"/> | ||
91 | </genClasses> | ||
86 | </genPackages> | 92 | </genPackages> |
87 | </genmodel:GenModel> | 93 | </genmodel:GenModel> |