diff options
author | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@152.66.252.189> | 2017-06-10 19:05:05 +0200 |
commit | 60f01f46ba232ed6416054f0a6115cb2a9b70b4e (patch) | |
tree | 5edf8aeb07abc51f3fec63bbd15c926e1de09552 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | |
parent | Initial commit, migrating from SVN (diff) | |
download | VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.gz VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.tar.zst VIATRA-Generator-60f01f46ba232ed6416054f0a6115cb2a9b70b4e.zip |
Migrating Additional projects
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 | 76 |
1 files changed, 76 insertions, 0 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 new file mode 100644 index 00000000..fd7ca595 --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | |||
@@ -0,0 +1,76 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" | ||
3 | xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="partialinterpretation" nsURI="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" | ||
4 | nsPrefix="partialinterpretation"> | ||
5 | <eClassifiers xsi:type="ecore:EClass" name="PartialInterpretation"> | ||
6 | <eStructuralFeatures xsi:type="ecore:EReference" name="problem" lowerBound="1" | ||
7 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"/> | ||
8 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialconstantinterpretation" | ||
9 | upperBound="-1" eType="#//PartialConstantInterpretation" containment="true"/> | ||
10 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialrelationinterpretation" | ||
11 | upperBound="-1" eType="#//PartialRelationInterpretation" containment="true"/> | ||
12 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialfunctioninterpretation" | ||
13 | upperBound="-1" eType="#//PartialFunctionInterpretation" containment="true"/> | ||
14 | <eStructuralFeatures xsi:type="ecore:EReference" name="newElements" upperBound="-1" | ||
15 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement" | ||
16 | containment="true"/> | ||
17 | <eStructuralFeatures xsi:type="ecore:EReference" name="partialtypeinterpratation" | ||
18 | upperBound="-1" eType="#//PartialTypeInterpratation" containment="true"/> | ||
19 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="minNewElements" lowerBound="1" | ||
20 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0" | ||
21 | iD="true"/> | ||
22 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewElements" lowerBound="1" | ||
23 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt" defaultValueLiteral="0"/> | ||
24 | <eStructuralFeatures xsi:type="ecore:EReference" name="openWorldElementPrototype" | ||
25 | lowerBound="1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement" | ||
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" | ||
28 | containment="true"/> | ||
29 | <eStructuralFeatures xsi:type="ecore:EReference" name="pregeneratedRelationLinks" | ||
30 | upperBound="-1" eType="#//BinaryElementRelationLink"/> | ||
31 | <eStructuralFeatures xsi:type="ecore:EReference" name="preGeneratedElements" upperBound="-1" | ||
32 | eType="#//PartialTypeInterpratation" containment="true"/> | ||
33 | </eClassifiers> | ||
34 | <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation"> | ||
35 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | ||
36 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//ConstantDeclaration"/> | ||
37 | </eClassifiers> | ||
38 | <eClassifiers xsi:type="ecore:EClass" name="PartialRelationInterpretation"> | ||
39 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | ||
40 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//RelationDeclaration"/> | ||
41 | <eStructuralFeatures xsi:type="ecore:EReference" name="relationlinks" upperBound="-1" | ||
42 | eType="#//RelationLink" containment="true"/> | ||
43 | <eStructuralFeatures xsi:type="ecore:EReference" name="param1" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/> | ||
44 | <eStructuralFeatures xsi:type="ecore:EReference" name="param2" eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeReference"/> | ||
45 | </eClassifiers> | ||
46 | <eClassifiers xsi:type="ecore:EClass" name="PartialFunctionInterpretation"> | ||
47 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | ||
48 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//FunctionDeclaration"/> | ||
49 | </eClassifiers> | ||
50 | <eClassifiers xsi:type="ecore:EClass" name="PartialTypeInterpratation"> | ||
51 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | ||
52 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//TypeDeclaration"/> | ||
53 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" | ||
54 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/> | ||
55 | <eStructuralFeatures xsi:type="ecore:EReference" name="supertypeInterpretation" | ||
56 | upperBound="-1" eType="#//PartialTypeInterpratation"/> | ||
57 | </eClassifiers> | ||
58 | <eClassifiers xsi:type="ecore:EClass" name="RelationLink" abstract="true"/> | ||
59 | <eClassifiers xsi:type="ecore:EClass" name="UnaryElementRelationLink" eSuperTypes="#//RelationLink"> | ||
60 | <eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1" | ||
61 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/> | ||
62 | </eClassifiers> | ||
63 | <eClassifiers xsi:type="ecore:EClass" name="BinaryElementRelationLink" eSuperTypes="#//RelationLink"> | ||
64 | <eStructuralFeatures xsi:type="ecore:EReference" name="param1" lowerBound="1" | ||
65 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/> | ||
66 | <eStructuralFeatures xsi:type="ecore:EReference" name="param2" lowerBound="1" | ||
67 | eType="ecore:EClass ../../hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement"/> | ||
68 | </eClassifiers> | ||
69 | <eClassifiers xsi:type="ecore:EClass" name="NaryRelationLink" eSuperTypes="#//RelationLink"> | ||
70 | <eStructuralFeatures xsi:type="ecore:EReference" name="elements" upperBound="-1" | ||
71 | eType="#//NaryRelationLinkElement" containment="true"/> | ||
72 | </eClassifiers> | ||
73 | <eClassifiers xsi:type="ecore:EClass" name="NaryRelationLinkElement"> | ||
74 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="index" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | ||
75 | </eClassifiers> | ||
76 | </ecore:EPackage> | ||