blob: 2dfe62e672a99c50f23882b6ead02a1a649aae7d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
<?xml version="1.0" encoding="UTF-8"?>
<genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel"
modelDirectory="/org.eclipse.viatra.solver.language.model/src/main/emf-gen"
creationIcons="false" editDirectory="/org.eclipse.viatra.solver.language.model.edit/src-gen"
editorDirectory="/org.eclipse.viatra.solver.language.model.editor/src-gen" modelPluginID="org.eclipse.viatra.solver.language.model"
modelName="Problem" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
codeFormatting="true" importerID="org.eclipse.emf.importer.ecore" complianceLevel="5.0"
copyrightFields="false" operationReflection="true" importOrganizing="true">
<foreignModel>problem.ecore</foreignModel>
<testsDirectory xsi:nil="true"/>
<genPackages prefix="Problem" basePackage="org.eclipse.viatra.solver.language.model"
disposableProviderFactory="true" ecorePackage="problem.ecore#/">
<genEnums typeSafeEnumCompatible="false" ecoreEnum="problem.ecore#//LogicValue">
<genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/TRUE"/>
<genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/FALSE"/>
<genEnumLiterals ecoreEnumLiteral="problem.ecore#//LogicValue/UNKNOWN"/>
</genEnums>
<genClasses ecoreClass="problem.ecore#//Problem">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/nodes"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Problem/statements"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//Relation"/>
<genClasses ecoreClass="problem.ecore#//ClassDeclaration">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ClassDeclaration/abstract"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/superTypes"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ClassDeclaration/referenceDeclarations"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//ReferenceDeclaration">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/referenceType"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/opposite"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ReferenceDeclaration/containment"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ReferenceDeclaration/multiplicity"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//NamedElement">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//NamedElement/name"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//PredicateDefinition">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//PredicateDefinition/error"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//PredicateDefinition/parameters"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//PredicateDefinition/bodies"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//Parameter">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Parameter/parameterType"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//Variable"/>
<genClasses ecoreClass="problem.ecore#//Conjunction">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//Conjunction/literals"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//Literal"/>
<genClasses ecoreClass="problem.ecore#//Atom">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/relation"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Atom/arguments"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Atom/transitiveClosure"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//ImplicitVariable"/>
<genClasses ecoreClass="problem.ecore#//NegativeLiteral">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//NegativeLiteral/atom"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//ExistentialQuantifier">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ExistentialQuantifier/implicitVariables"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//Assertion">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/relation"/>
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//Assertion/arguments"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//Assertion/value"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//Node"/>
<genClasses ecoreClass="problem.ecore#//ScopeDeclaration">
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//ScopeDeclaration/typeScopes"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//Statement"/>
<genClasses ecoreClass="problem.ecore#//TypeScope">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/targetType"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//TypeScope/increment"/>
<genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference problem.ecore#//TypeScope/multiplicity"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//Multiplicity"/>
<genClasses ecoreClass="problem.ecore#//RangeMultiplicity">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/lowerBound"/>
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//RangeMultiplicity/upperBound"/>
</genClasses>
<genClasses ecoreClass="problem.ecore#//ExactMultiplicity">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute problem.ecore#//ExactMultiplicity/exactValue"/>
</genClasses>
</genPackages>
</genmodel:GenModel>
|