Commit cf764843 authored by Johannes Eder's avatar Johannes Eder

SMT ecore model documentation

Issue-Ref: 3680
Issue-Url: https://af3-developer.fortiss.org/issues/3680Signed-off-by: Johannes Eder's avatareder <eder@fortiss.org>
parent a0920f32
......@@ -2,41 +2,54 @@
<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="model" nsURI="http://www.fortiss.org/af3/exploration/smt" nsPrefix="org-fortiss-af3-exploration-smt">
<eClassifiers xsi:type="ecore:EClass" name="SMTConstraint">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="ExplorationConstraint for translation into SMT. If unfoldQuantifier is true, any quantifier will be unfolded."/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="unfoldQuantifier" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBoolean"
defaultValueLiteral="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<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 platform:/resource/org.fortiss.af3.exploration/model/exploration.ecore#//ExplorationConstraint">
<eGenericSuperTypes eClassifier="ecore:EClass ../../org.fortiss.af3.exploration/model/exploration.ecore#//ExplorationConstraint">
<eTypeArguments eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"/>
</eGenericSuperTypes>
<eGenericSuperTypes eClassifier="#//CustomDimension"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="SMTObjective">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="ExplorationObjective for translation into SMT. Additional needed SMTConstraints may be contained."/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="constraints" upperBound="-1"
eType="#//SMTConstraint" containment="true">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="Additional constraints which have to hold when using this objective."/>
</eAnnotations>
</eStructuralFeatures>
<eGenericSuperTypes eClassifier="ecore:EClass platform:/resource/org.fortiss.af3.exploration/model/exploration.ecore#//ExplorationObjective">
<eGenericSuperTypes eClassifier="ecore:EClass ../../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="platform:/resource/org.fortiss.af3.exploration/model/exploration.ecore#//IProblemDimension">
<eClassifiers xsi:type="ecore:EClass" name="CustomDimension" eSuperTypes="../../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>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="dimension" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
defaultValueLiteral="category"/>
defaultValueLiteral="category">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
</eAnnotations>
</eStructuralFeatures>
</eClassifiers>
<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">
<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">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
<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="platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IAnnotatedSpecification platform:/resource/org.fortiss.tooling.base/model/base.ecore#//element/IHiddenSpecification">
<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">
<eAnnotations source="http://www.eclipse.org/emf/2002/GenModel">
<details key="documentation" value="TODO: write documentation (in the model!)"/>
<details key="documentation" value="Dummy anntotation to describe the duration of a model element."/>
</eAnnotations>
</eClassifiers>
</ecore:EPackage>
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