diff options
author | 2019-01-15 12:44:33 -0500 | |
---|---|---|
committer | 2020-06-07 19:06:26 -0400 | |
commit | f87b4233437f0900c19f462b5e443a3c81b27b6e (patch) | |
tree | fa5af86016db54e24f54e3d801424eb1216efc2f /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | |
parent | Fix numeric-solver-at-end (diff) | |
download | VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.tar.gz VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.tar.zst VIATRA-Generator-f87b4233437f0900c19f462b5e443a3c81b27b6e.zip |
Initial workspace setup
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | 119 |
1 files changed, 119 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel new file mode 100644 index 00000000..0dc38d95 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | |||
@@ -0,0 +1,119 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <genmodel:GenModel xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" | ||
3 | xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel" copyrightText="generated by Xtext 2.12.0" modelDirectory="/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen" | ||
4 | modelPluginID="ca.mcgill.ecse.dslreasoner.vampire.language" forceOverwrite="true" | ||
5 | modelName="VampireLanguage" updateClasspath="false" rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container" | ||
6 | complianceLevel="6.0" copyrightFields="false" runtimeVersion="2.13"> | ||
7 | <genPackages prefix="VampireLanguage" basePackage="ca.mcgill.ecse.dslreasoner" disposableProviderFactory="true" | ||
8 | fileExtensions="tptp" ecorePackage="VampireLanguage.ecore#/"> | ||
9 | <genClasses ecoreClass="VampireLanguage.ecore#//VampireModel"> | ||
10 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/includes"/> | ||
11 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/comments"/> | ||
12 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/formulas"/> | ||
13 | </genClasses> | ||
14 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSInclude"> | ||
15 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSInclude/fileName"/> | ||
16 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInclude/names"/> | ||
17 | </genClasses> | ||
18 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSName"> | ||
19 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSName/name"/> | ||
20 | </genClasses> | ||
21 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSComment"> | ||
22 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSComment/comment"/> | ||
23 | </genClasses> | ||
24 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFofFormula"> | ||
25 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/name"/> | ||
26 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/fofRole"/> | ||
27 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/fofFormula"/> | ||
28 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/annotations"/> | ||
29 | </genClasses> | ||
30 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSAnnotation"> | ||
31 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSAnnotation/name"/> | ||
32 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/followup"/> | ||
33 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/terms"/> | ||
34 | </genClasses> | ||
35 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTerm"/> | ||
36 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariable"> | ||
37 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSVariable/name"/> | ||
38 | </genClasses> | ||
39 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFunctionFof"> | ||
40 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunctionFof/functor"/> | ||
41 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunctionFof/terms"/> | ||
42 | </genClasses> | ||
43 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSDefinedTerm"> | ||
44 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSDefinedTerm/value"/> | ||
45 | </genClasses> | ||
46 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSEquivalent"> | ||
47 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/left"/> | ||
48 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/right"/> | ||
49 | </genClasses> | ||
50 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSImplies"> | ||
51 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/left"/> | ||
52 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/right"/> | ||
53 | </genClasses> | ||
54 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSRevImplies"> | ||
55 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/left"/> | ||
56 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/right"/> | ||
57 | </genClasses> | ||
58 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSXnor"> | ||
59 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/left"/> | ||
60 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/right"/> | ||
61 | </genClasses> | ||
62 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSNor"> | ||
63 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/left"/> | ||
64 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/right"/> | ||
65 | </genClasses> | ||
66 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSNand"> | ||
67 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/left"/> | ||
68 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/right"/> | ||
69 | </genClasses> | ||
70 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSAnd"> | ||
71 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/left"/> | ||
72 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/right"/> | ||
73 | </genClasses> | ||
74 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSOr"> | ||
75 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/left"/> | ||
76 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/right"/> | ||
77 | </genClasses> | ||
78 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSUniversalQuantifier"> | ||
79 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/variables"/> | ||
80 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/operand"/> | ||
81 | </genClasses> | ||
82 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSExistentialQuantifier"> | ||
83 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/variables"/> | ||
84 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/operand"/> | ||
85 | </genClasses> | ||
86 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSUnaryNegation"> | ||
87 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUnaryNegation/operand"/> | ||
88 | </genClasses> | ||
89 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSInequality"> | ||
90 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/left"/> | ||
91 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/right"/> | ||
92 | </genClasses> | ||
93 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSEquality"> | ||
94 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/left"/> | ||
95 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/right"/> | ||
96 | </genClasses> | ||
97 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSAssignment"> | ||
98 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/left"/> | ||
99 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/right"/> | ||
100 | </genClasses> | ||
101 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSConstant"> | ||
102 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSConstant/name"/> | ||
103 | </genClasses> | ||
104 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTrue"/> | ||
105 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFalse"/> | ||
106 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFunction"> | ||
107 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunction/constant"/> | ||
108 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunction/terms"/> | ||
109 | </genClasses> | ||
110 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSLess"> | ||
111 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSLess/name"/> | ||
112 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSLess/terms"/> | ||
113 | </genClasses> | ||
114 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSInt"/> | ||
115 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSReal"/> | ||
116 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSRational"/> | ||
117 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSDoubleQuote"/> | ||
118 | </genPackages> | ||
119 | </genmodel:GenModel> | ||