Commit 1794396c authored by Alexander Diewald's avatar Alexander Diewald

YELLOW: SMT ecore documentation

Issue-Ref: 3680
Issue-Url: https://af3-developer.fortiss.org/issues/3680Signed-off-by: Alexander Diewald's avatarAlexander Diewald <diewald@fortiss.org>
parent cf764843
model.ecore 8e11030987781a497f871f269794a446a1e5dd7e RED
model.ecore e3ae1bda40b05a075470fbcf0a856b9e38d2f265 GREEN
......@@ -11,7 +11,7 @@
<details key="documentation" value="If this constraint contains a quantifier, this flag states if the constraint shall be unfolded manually in the transformation to SMT."/>
</eAnnotations>
</eStructuralFeatures>
<eGenericSuperTypes eClassifier="ecore:EClass ../../org.fortiss.af3.exploration/model/exploration.ecore#//ExplorationConstraint">
<eGenericSuperTypes eClassifier="ecore:EClass platform:/resource/org.fortiss.af3.exploration/model/exploration.ecore#//ExplorationConstraint">
<eTypeArguments eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"/>
</eGenericSuperTypes>
<eGenericSuperTypes eClassifier="#//CustomDimension"/>
......@@ -26,12 +26,12 @@
<details key="documentation" value="Additional constraints which have to hold when using this objective."/>
</eAnnotations>
</eStructuralFeatures>
<eGenericSuperTypes eClassifier="ecore:EClass ../../org.fortiss.af3.exploration/model/exploration.ecore#//ExplorationObjective">
<eGenericSuperTypes eClassifier="ecore:EClass platform:/resource/org.fortiss.af3.exploration/model/exploration.ecore#//ExplorationObjective">
<eTypeArguments eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDoubleObject"/>
</eGenericSuperTypes>
<eGenericSuperTypes eClassifier="#//CustomDimension"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="CustomDimension" eSuperTypes="../../org.fortiss.af3.exploration/model/exploration.ecore#//IProblemDimension">
<eClassifiers xsi:type="ecore:EClass" name="CustomDimension" eSuperTypes="platform:/resource/org.fortiss.af3.exploration/model/exploration.ecore#//IProblemDimension">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Custom dimension whose name is determined by the dimension string."/>
</eAnnotations>
......@@ -42,12 +42,12 @@
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="StartTimeDummy" eSuperTypes="../../org.fortiss.tooling.base/model/base.ecore#//element/IAnnotatedSpecification ../../org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
<eClassifiers xsi:type="ecore:EClass" name="StartTimeDummy" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IAnnotatedSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Dummy anntotation to describe the start time of a model element."/>
</eAnnotations>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="DurationDummy" eSuperTypes="../../org.fortiss.tooling.base/model/base.ecore#//element/IAnnotatedSpecification ../../org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
<eClassifiers xsi:type="ecore:EClass" name="DurationDummy" eSuperTypes="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IAnnotatedSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Dummy anntotation to describe the duration of a model element."/>
</eAnnotations>
......
dseml.ecore 5d203093b472912febb77d54ce118a69acf4514e RED
exploration.ecore 80f1561f9575c41e06785a165d1f77325de1db35 RED
exploration.ecore 80f1561f9575c41e06785a165d1f77325de1db35 YELLOW
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment