Commit f76e572f authored by Johannes Eder's avatar Johannes Eder

added constraints to smt objective

parent 26d2dd05
......@@ -14,6 +14,12 @@
<eGenericSuperTypes eClassifier="#//CustomDimension"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="SMTObjective">
<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#//ObjectiveExpression">
<eTypeArguments eClassifier="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBooleanObject"/>
</eGenericSuperTypes>
......
......@@ -11,7 +11,9 @@
<genClasses ecoreClass="model.ecore#//SMTConstraint">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//SMTConstraint/unfoldQuantifier"/>
</genClasses>
<genClasses ecoreClass="model.ecore#//SMTObjective"/>
<genClasses ecoreClass="model.ecore#//SMTObjective">
<genFeatures notify="false" createChild="false" propertySortChoices="true" ecoreFeature="ecore:EReference model.ecore#//SMTObjective/constraints"/>
</genClasses>
<genClasses ecoreClass="model.ecore#//CustomDimension">
<genFeatures createChild="false" ecoreFeature="ecore:EAttribute model.ecore#//CustomDimension/dimension"/>
</genClasses>
......
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