aboutsummaryrefslogtreecommitdiffstats
path: root/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore
diff options
context:
space:
mode:
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore')
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore2
1 files changed, 1 insertions, 1 deletions
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore
index 5effb631..aee6cd78 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore
@@ -204,7 +204,7 @@
204 <eClassifiers xsi:type="ecore:EClass" name="StringLiteral" eSuperTypes="#//AtomicTerm"> 204 <eClassifiers xsi:type="ecore:EClass" name="StringLiteral" eSuperTypes="#//AtomicTerm">
205 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/> 205 <eStructuralFeatures xsi:type="ecore:EAttribute" name="value" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
206 </eClassifiers> 206 </eClassifiers>
207 <eClassifiers xsi:type="ecore:EClass" name="TransitiveClosure"> 207 <eClassifiers xsi:type="ecore:EClass" name="TransitiveClosure" eSuperTypes="#//Term">
208 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//Term" 208 <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//Term"
209 containment="true"/> 209 containment="true"/>
210 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//Term" 210 <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//Term"