diff options
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.ecore | 7 |
1 files changed, 7 insertions, 0 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 bf42e9b9..5effb631 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,4 +204,11 @@ | |||
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"> | ||
208 | <eStructuralFeatures xsi:type="ecore:EReference" name="leftOperand" eType="#//Term" | ||
209 | containment="true"/> | ||
210 | <eStructuralFeatures xsi:type="ecore:EReference" name="rightOperand" eType="#//Term" | ||
211 | containment="true"/> | ||
212 | <eStructuralFeatures xsi:type="ecore:EReference" name="relation" eType="#//Relation"/> | ||
213 | </eClassifiers> | ||
207 | </ecore:EPackage> | 214 | </ecore:EPackage> |