diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 19:11:40 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 19:11:40 +0200 |
| commit | 7b8aa9c1364a555e8e64e19b64e30868dc7358de (patch) | |
| tree | 290b1641251004752cba783cea9a7aca92e9fb5b /Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore | |
| parent | Adding transitive closure to the logic language (diff) | |
| download | VIATRA-Generator-7b8aa9c1364a555e8e64e19b64e30868dc7358de.tar.gz VIATRA-Generator-7b8aa9c1364a555e8e64e19b64e30868dc7358de.tar.zst VIATRA-Generator-7b8aa9c1364a555e8e64e19b64e30868dc7358de.zip | |
Transitive closure
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 | 2 |
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" |