aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore152
1 files changed, 152 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore
new file mode 100644
index 00000000..8c6c8233
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/model/generated/VampireLanguage.ecore
@@ -0,0 +1,152 @@
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="vampireLanguage" nsURI="http://www.mcgill.ca/ecse/dslreasoner/VampireLanguage"
4 nsPrefix="vampireLanguage">
5 <eClassifiers xsi:type="ecore:EClass" name="VampireModel">
6 <eStructuralFeatures xsi:type="ecore:EReference" name="includes" upperBound="-1"
7 eType="#//VLSInclude" containment="true"/>
8 <eStructuralFeatures xsi:type="ecore:EReference" name="comments" upperBound="-1"
9 eType="#//VLSComment" containment="true"/>
10 <eStructuralFeatures xsi:type="ecore:EReference" name="formulas" upperBound="-1"
11 eType="#//VLSFofFormula" containment="true"/>
12 </eClassifiers>
13 <eClassifiers xsi:type="ecore:EClass" name="VLSInclude">
14 <eStructuralFeatures xsi:type="ecore:EAttribute" name="fileName" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
15 <eStructuralFeatures xsi:type="ecore:EReference" name="names" upperBound="-1"
16 eType="#//VLSName" containment="true"/>
17 </eClassifiers>
18 <eClassifiers xsi:type="ecore:EClass" name="VLSName">
19 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
20 </eClassifiers>
21 <eClassifiers xsi:type="ecore:EClass" name="VLSComment">
22 <eStructuralFeatures xsi:type="ecore:EAttribute" name="comment" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
23 </eClassifiers>
24 <eClassifiers xsi:type="ecore:EClass" name="VLSFofFormula">
25 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
26 <eStructuralFeatures xsi:type="ecore:EAttribute" name="fofRole" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
27 <eStructuralFeatures xsi:type="ecore:EReference" name="fofFormula" eType="#//VLSTerm"
28 containment="true"/>
29 <eStructuralFeatures xsi:type="ecore:EReference" name="annotations" eType="#//VLSAnnotation"
30 containment="true"/>
31 </eClassifiers>
32 <eClassifiers xsi:type="ecore:EClass" name="VLSAnnotation">
33 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
34 <eStructuralFeatures xsi:type="ecore:EReference" name="followup" eType="#//VLSAnnotation"
35 containment="true"/>
36 <eStructuralFeatures xsi:type="ecore:EReference" name="terms" upperBound="-1"
37 eType="#//VLSAnnotation" containment="true"/>
38 </eClassifiers>
39 <eClassifiers xsi:type="ecore:EClass" name="VLSTerm"/>
40 <eClassifiers xsi:type="ecore:EClass" name="VLSVariable" eSuperTypes="#//VLSTerm">
41 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
42 </eClassifiers>
43 <eClassifiers xsi:type="ecore:EClass" name="VLSFunctionFof" eSuperTypes="#//VLSTerm">
44 <eStructuralFeatures xsi:type="ecore:EAttribute" name="functor" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
45 <eStructuralFeatures xsi:type="ecore:EReference" name="terms" upperBound="-1"
46 eType="#//VLSTerm" containment="true"/>
47 </eClassifiers>
48 <eClassifiers xsi:type="ecore:EClass" name="VLSDefinedTerm" eSuperTypes="#//VLSTerm">
49 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
50 </eClassifiers>
51 <eClassifiers xsi:type="ecore:EClass" name="VLSEquivalent" eSuperTypes="#//VLSTerm">
52 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
53 containment="true"/>
54 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
55 containment="true"/>
56 </eClassifiers>
57 <eClassifiers xsi:type="ecore:EClass" name="VLSImplies" eSuperTypes="#//VLSTerm">
58 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
59 containment="true"/>
60 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
61 containment="true"/>
62 </eClassifiers>
63 <eClassifiers xsi:type="ecore:EClass" name="VLSRevImplies" eSuperTypes="#//VLSTerm">
64 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
65 containment="true"/>
66 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
67 containment="true"/>
68 </eClassifiers>
69 <eClassifiers xsi:type="ecore:EClass" name="VLSXnor" eSuperTypes="#//VLSTerm">
70 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
71 containment="true"/>
72 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
73 containment="true"/>
74 </eClassifiers>
75 <eClassifiers xsi:type="ecore:EClass" name="VLSNor" eSuperTypes="#//VLSTerm">
76 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
77 containment="true"/>
78 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
79 containment="true"/>
80 </eClassifiers>
81 <eClassifiers xsi:type="ecore:EClass" name="VLSNand" eSuperTypes="#//VLSTerm">
82 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
83 containment="true"/>
84 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
85 containment="true"/>
86 </eClassifiers>
87 <eClassifiers xsi:type="ecore:EClass" name="VLSAnd" eSuperTypes="#//VLSTerm">
88 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
89 containment="true"/>
90 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
91 containment="true"/>
92 </eClassifiers>
93 <eClassifiers xsi:type="ecore:EClass" name="VLSOr" eSuperTypes="#//VLSTerm">
94 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
95 containment="true"/>
96 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
97 containment="true"/>
98 </eClassifiers>
99 <eClassifiers xsi:type="ecore:EClass" name="VLSUniversalQuantifier" eSuperTypes="#//VLSTerm">
100 <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1"
101 eType="#//VLSVariable" containment="true"/>
102 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm"
103 containment="true"/>
104 </eClassifiers>
105 <eClassifiers xsi:type="ecore:EClass" name="VLSExistentialQuantifier" eSuperTypes="#//VLSTerm">
106 <eStructuralFeatures xsi:type="ecore:EReference" name="variables" upperBound="-1"
107 eType="#//VLSVariable" containment="true"/>
108 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm"
109 containment="true"/>
110 </eClassifiers>
111 <eClassifiers xsi:type="ecore:EClass" name="VLSUnaryNegation" eSuperTypes="#//VLSTerm">
112 <eStructuralFeatures xsi:type="ecore:EReference" name="operand" eType="#//VLSTerm"
113 containment="true"/>
114 </eClassifiers>
115 <eClassifiers xsi:type="ecore:EClass" name="VLSInequality" eSuperTypes="#//VLSTerm">
116 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
117 containment="true"/>
118 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
119 containment="true"/>
120 </eClassifiers>
121 <eClassifiers xsi:type="ecore:EClass" name="VLSEquality" eSuperTypes="#//VLSTerm">
122 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
123 containment="true"/>
124 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
125 containment="true"/>
126 </eClassifiers>
127 <eClassifiers xsi:type="ecore:EClass" name="VLSAssignment" eSuperTypes="#//VLSTerm">
128 <eStructuralFeatures xsi:type="ecore:EReference" name="left" eType="#//VLSTerm"
129 containment="true"/>
130 <eStructuralFeatures xsi:type="ecore:EReference" name="right" eType="#//VLSTerm"
131 containment="true"/>
132 </eClassifiers>
133 <eClassifiers xsi:type="ecore:EClass" name="VLSConstant" eSuperTypes="#//VLSTerm">
134 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
135 </eClassifiers>
136 <eClassifiers xsi:type="ecore:EClass" name="VLSTrue" eSuperTypes="#//VLSTerm"/>
137 <eClassifiers xsi:type="ecore:EClass" name="VLSFalse" eSuperTypes="#//VLSTerm"/>
138 <eClassifiers xsi:type="ecore:EClass" name="VLSFunction" eSuperTypes="#//VLSTerm">
139 <eStructuralFeatures xsi:type="ecore:EAttribute" name="constant" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
140 <eStructuralFeatures xsi:type="ecore:EReference" name="terms" upperBound="-1"
141 eType="#//VLSTerm" containment="true"/>
142 </eClassifiers>
143 <eClassifiers xsi:type="ecore:EClass" name="VLSLess" eSuperTypes="#//VLSTerm">
144 <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
145 <eStructuralFeatures xsi:type="ecore:EReference" name="terms" upperBound="-1"
146 eType="#//VLSTerm" containment="true"/>
147 </eClassifiers>
148 <eClassifiers xsi:type="ecore:EClass" name="VLSInt" eSuperTypes="#//VLSDefinedTerm"/>
149 <eClassifiers xsi:type="ecore:EClass" name="VLSReal" eSuperTypes="#//VLSDefinedTerm"/>
150 <eClassifiers xsi:type="ecore:EClass" name="VLSRational" eSuperTypes="#//VLSDefinedTerm"/>
151 <eClassifiers xsi:type="ecore:EClass" name="VLSDoubleQuote" eSuperTypes="#//VLSDefinedTerm"/>
152</ecore:EPackage>
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 18:22:22 +0000