3 files changed, 11 insertions, 16 deletions

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/RealLiteral.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/RealLiteral.java
index 0ba0a6ca..fd289abb 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/RealLiteral.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/RealLiteral.java
@@ -2,8 +2,6 @@
  */

 package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage;

 

-import java.math.BigDecimal;

-

 /**

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

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

@@ -30,12 +28,12 @@ public interface RealLiteral extends AtomicTerm {
          * </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.logic.model.logiclanguage.LogiclanguagePackage#getRealLiteral_Value()

          * @model required="true"

          * @generated

          */

-        BigDecimal getValue();

+        double getValue();

 

         /**

          * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral#getValue <em>Value</em>}' attribute.

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

          * @generated

          */

-        void setValue(BigDecimal value);

+        void setValue(double value);

 

 } // RealLiteral

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java
index 03a679e4..48cb3efb 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/LogiclanguagePackageImpl.java
@@ -2351,7 +2351,7 @@ public class LogiclanguagePackageImpl extends EPackageImpl implements Logiclangu
                 initEAttribute(getBoolLiteral_Value(), ecorePackage.getEBoolean(), "value", null, 1, 1, BoolLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

                 initEClass(realLiteralEClass, RealLiteral.class, "RealLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

-                initEAttribute(getRealLiteral_Value(), ecorePackage.getEBigDecimal(), "value", null, 1, 1, RealLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+                initEAttribute(getRealLiteral_Value(), ecorePackage.getEDouble(), "value", null, 1, 1, RealLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

                 initEClass(variableEClass, Variable.class, "Variable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

                 initEReference(getVariable_Range(), this.getTypeReference(), null, "range", null, 1, 1, Variable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/RealLiteralImpl.java b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/RealLiteralImpl.java
index ffb2b97f..08791e2a 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/RealLiteralImpl.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/ecore-gen/hu/bme/mit/inf/dslreasoner/logic/model/logiclanguage/impl/RealLiteralImpl.java
@@ -4,9 +4,6 @@ package hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl;
 

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.LogiclanguagePackage;

 import hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.RealLiteral;

-

-import java.math.BigDecimal;

-

 import org.eclipse.emf.common.notify.Notification;

 

 import org.eclipse.emf.ecore.EClass;

@@ -35,7 +32,7 @@ public class RealLiteralImpl extends AtomicTermImpl implements RealLiteral {
          * @generated

          * @ordered

          */

-        protected static final BigDecimal VALUE_EDEFAULT = null;

+        protected static final double VALUE_EDEFAULT = 0.0;

 

         /**

          * The cached value of the '{@link #getValue() <em>Value</em>}' attribute.

@@ -45,7 +42,7 @@ public class RealLiteralImpl extends AtomicTermImpl implements RealLiteral {
          * @generated

          * @ordered

          */

-        protected BigDecimal value = VALUE_EDEFAULT;

+        protected double value = VALUE_EDEFAULT;

 

         /**

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

@@ -72,7 +69,7 @@ public class RealLiteralImpl extends AtomicTermImpl implements RealLiteral {
          * @generated

          */

         @Override

-        public BigDecimal getValue() {

+        public double getValue() {

                 return value;

         }

 

@@ -82,8 +79,8 @@ public class RealLiteralImpl extends AtomicTermImpl implements RealLiteral {
          * @generated

          */

         @Override

-        public void setValue(BigDecimal newValue) {

-                BigDecimal oldValue = value;

+        public void setValue(double newValue) {

+                double oldValue = value;

                 value = newValue;

                 if (eNotificationRequired())

                         eNotify(new ENotificationImpl(this, Notification.SET, LogiclanguagePackage.REAL_LITERAL__VALUE, oldValue, value));

@@ -112,7 +109,7 @@ public class RealLiteralImpl extends AtomicTermImpl implements RealLiteral {
         public void eSet(int featureID, Object newValue) {

                 switch (featureID) {

                         case LogiclanguagePackage.REAL_LITERAL__VALUE:

-                                setValue((BigDecimal)newValue);

+                                setValue((Double)newValue);

                                 return;

                 }

                 super.eSet(featureID, newValue);

@@ -142,7 +139,7 @@ public class RealLiteralImpl extends AtomicTermImpl implements RealLiteral {
         public boolean eIsSet(int featureID) {

                 switch (featureID) {

                         case LogiclanguagePackage.REAL_LITERAL__VALUE:

-                                return VALUE_EDEFAULT == null ? value != null : !VALUE_EDEFAULT.equals(value);

+                                return value != VALUE_EDEFAULT;

                 }

                 return super.eIsSet(featureID);

         }