diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 18:53:37 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-08-16 18:53:37 +0200 |
| commit | 05cc697cce50c87541cb619854be7ecbcfb586e9 (patch) | |
| tree | 8fd0054e1ced9992283fddc2e8be28f2a09c9ebb /Framework/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore | |
| parent | Bugfixing typo in generated queries (diff) | |
| download | VIATRA-Generator-05cc697cce50c87541cb619854be7ecbcfb586e9.tar.gz VIATRA-Generator-05cc697cce50c87541cb619854be7ecbcfb586e9.tar.zst VIATRA-Generator-05cc697cce50c87541cb619854be7ecbcfb586e9.zip | |
Adding transitive closure to the logic language
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> |