1 files changed, 3 insertions, 5 deletions

diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/RealElement.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/RealElement.java
index 65b40808..c30314d5 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/RealElement.java
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/RealElement.java
@@ -2,8 +2,6 @@
  */

 package hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation;

 

-import java.math.BigDecimal;

-

 /**

  * <!-- begin-user-doc -->

  * A representation of the model object '<em><b>Real Element</b></em>'.

@@ -30,12 +28,12 @@ public interface RealElement extends PrimitiveElement {
          * </p>

          * <!-- end-user-doc -->

          * @return the value of the '<em>Value</em>' attribute.

-         * @see #setValue(BigDecimal)

+         * @see #setValue(double)

          * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getRealElement_Value()

          * @model required="true"

          * @generated

          */

-        BigDecimal getValue();

+        double getValue();

 

         /**

          * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement#getValue <em>Value</em>}' attribute.

@@ -45,6 +43,6 @@ public interface RealElement extends PrimitiveElement {
          * @see #getValue()

          * @generated

          */

-        void setValue(BigDecimal value);

+        void setValue(double value);

 

 } // RealElement