diff options
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 | 129 |
1 files changed, 129 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..ef216fb7 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.genmodel | |||
@@ -0,0 +1,129 @@ | |||
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.14.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.14"> | ||
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/confirmations"/> | ||
13 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/formulas"/> | ||
14 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VampireModel/tfformulas"/> | ||
15 | </genClasses> | ||
16 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSInclude"> | ||
17 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSInclude/fileName"/> | ||
18 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInclude/names"/> | ||
19 | </genClasses> | ||
20 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSName"> | ||
21 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSName/name"/> | ||
22 | </genClasses> | ||
23 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSComment"> | ||
24 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSComment/comment"/> | ||
25 | </genClasses> | ||
26 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSConfirmations"/> | ||
27 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSSatisfiable"/> | ||
28 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFofFormula"> | ||
29 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/name"/> | ||
30 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFofFormula/fofRole"/> | ||
31 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/fofFormula"/> | ||
32 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFofFormula/annotations"/> | ||
33 | </genClasses> | ||
34 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTffFormula"> | ||
35 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSTffFormula/name"/> | ||
36 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSTffFormula/fofRole"/> | ||
37 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTffFormula/fofFormula"/> | ||
38 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSTffFormula/annotations"/> | ||
39 | </genClasses> | ||
40 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSAnnotation"> | ||
41 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSAnnotation/name"/> | ||
42 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/followup"/> | ||
43 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnnotation/terms"/> | ||
44 | </genClasses> | ||
45 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTerm"/> | ||
46 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSVariable"> | ||
47 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSVariable/name"/> | ||
48 | </genClasses> | ||
49 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFunctionAsTerm"> | ||
50 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunctionAsTerm/functor"/> | ||
51 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunctionAsTerm/terms"/> | ||
52 | </genClasses> | ||
53 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSDefinedTerm"> | ||
54 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSDefinedTerm/value"/> | ||
55 | </genClasses> | ||
56 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSEquivalent"> | ||
57 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/left"/> | ||
58 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquivalent/right"/> | ||
59 | </genClasses> | ||
60 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSImplies"> | ||
61 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/left"/> | ||
62 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSImplies/right"/> | ||
63 | </genClasses> | ||
64 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSRevImplies"> | ||
65 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/left"/> | ||
66 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSRevImplies/right"/> | ||
67 | </genClasses> | ||
68 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSXnor"> | ||
69 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/left"/> | ||
70 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSXnor/right"/> | ||
71 | </genClasses> | ||
72 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSNor"> | ||
73 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/left"/> | ||
74 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNor/right"/> | ||
75 | </genClasses> | ||
76 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSNand"> | ||
77 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/left"/> | ||
78 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSNand/right"/> | ||
79 | </genClasses> | ||
80 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSAnd"> | ||
81 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/left"/> | ||
82 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAnd/right"/> | ||
83 | </genClasses> | ||
84 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSOr"> | ||
85 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/left"/> | ||
86 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSOr/right"/> | ||
87 | </genClasses> | ||
88 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSUniversalQuantifier"> | ||
89 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/variables"/> | ||
90 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUniversalQuantifier/operand"/> | ||
91 | </genClasses> | ||
92 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSExistentialQuantifier"> | ||
93 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/variables"/> | ||
94 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSExistentialQuantifier/operand"/> | ||
95 | </genClasses> | ||
96 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSUnaryNegation"> | ||
97 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSUnaryNegation/operand"/> | ||
98 | </genClasses> | ||
99 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSInequality"> | ||
100 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/left"/> | ||
101 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSInequality/right"/> | ||
102 | </genClasses> | ||
103 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSEquality"> | ||
104 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/left"/> | ||
105 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSEquality/right"/> | ||
106 | </genClasses> | ||
107 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSAssignment"> | ||
108 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/left"/> | ||
109 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSAssignment/right"/> | ||
110 | </genClasses> | ||
111 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSConstant"> | ||
112 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSConstant/name"/> | ||
113 | </genClasses> | ||
114 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSTrue"/> | ||
115 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFalse"/> | ||
116 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSFunction"> | ||
117 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSFunction/constant"/> | ||
118 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSFunction/terms"/> | ||
119 | </genClasses> | ||
120 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSLess"> | ||
121 | <genFeatures createChild="false" ecoreFeature="ecore:EAttribute VampireLanguage.ecore#//VLSLess/name"/> | ||
122 | <genFeatures property="None" children="true" createChild="true" ecoreFeature="ecore:EReference VampireLanguage.ecore#//VLSLess/terms"/> | ||
123 | </genClasses> | ||
124 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSInt"/> | ||
125 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSReal"/> | ||
126 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSRational"/> | ||
127 | <genClasses ecoreClass="VampireLanguage.ecore#//VLSDoubleQuote"/> | ||
128 | </genPackages> | ||
129 | </genmodel:GenModel> | ||