First complete scope grammar

32 files changed, 5055 insertions, 523 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java
index 8e81dbc7..11e54727 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationFactory.java
@@ -366,6 +366,51 @@ public interface ApplicationConfigurationFactory extends EFactory
   TypeScope createTypeScope();

 

   /**

+   * Returns a new object of class '<em>Class Type Scope</em>'.

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

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

+   * @return a new object of class '<em>Class Type Scope</em>'.

+   * @generated

+   */

+  ClassTypeScope createClassTypeScope();

+

+  /**

+   * Returns a new object of class '<em>Object Type Scope</em>'.

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

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

+   * @return a new object of class '<em>Object Type Scope</em>'.

+   * @generated

+   */

+  ObjectTypeScope createObjectTypeScope();

+

+  /**

+   * Returns a new object of class '<em>Integer Type Scope</em>'.

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

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

+   * @return a new object of class '<em>Integer Type Scope</em>'.

+   * @generated

+   */

+  IntegerTypeScope createIntegerTypeScope();

+

+  /**

+   * Returns a new object of class '<em>Real Type Scope</em>'.

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

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

+   * @return a new object of class '<em>Real Type Scope</em>'.

+   * @generated

+   */

+  RealTypeScope createRealTypeScope();

+

+  /**

+   * Returns a new object of class '<em>String Type Scope</em>'.

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

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

+   * @return a new object of class '<em>String Type Scope</em>'.

+   * @generated

+   */

+  StringTypeScope createStringTypeScope();

+

+  /**

    * Returns a new object of class '<em>Type Reference</em>'.

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

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

@@ -420,6 +465,60 @@ public interface ApplicationConfigurationFactory extends EFactory
   StringReference createStringReference();

 

   /**

+   * Returns a new object of class '<em>Number Specification</em>'.

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

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

+   * @return a new object of class '<em>Number Specification</em>'.

+   * @generated

+   */

+  NumberSpecification createNumberSpecification();

+

+  /**

+   * Returns a new object of class '<em>Exact Number</em>'.

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

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

+   * @return a new object of class '<em>Exact Number</em>'.

+   * @generated

+   */

+  ExactNumber createExactNumber();

+

+  /**

+   * Returns a new object of class '<em>Intervall Number</em>'.

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

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

+   * @return a new object of class '<em>Intervall Number</em>'.

+   * @generated

+   */

+  IntervallNumber createIntervallNumber();

+

+  /**

+   * Returns a new object of class '<em>Int Enumberation</em>'.

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

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

+   * @return a new object of class '<em>Int Enumberation</em>'.

+   * @generated

+   */

+  IntEnumberation createIntEnumberation();

+

+  /**

+   * Returns a new object of class '<em>Real Enumeration</em>'.

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

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

+   * @return a new object of class '<em>Real Enumeration</em>'.

+   * @generated

+   */

+  RealEnumeration createRealEnumeration();

+

+  /**

+   * Returns a new object of class '<em>String Enumeration</em>'.

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

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

+   * @return a new object of class '<em>String Enumeration</em>'.

+   * @generated

+   */

+  StringEnumeration createStringEnumeration();

+

+  /**

    * Returns a new object of class '<em>Scope Declaration</em>'.

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

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

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java
index 2a23a843..2046ffa8 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ApplicationConfigurationPackage.java
@@ -1128,7 +1128,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScope()

    * @generated

    */

-  int SCOPE = 46;

+  int SCOPE = 57;

 

   /**

    * The number of structural features of the '<em>Scope</em>' class.

@@ -1178,13 +1178,105 @@ public interface ApplicationConfigurationPackage extends EPackage
   int TYPE_SCOPE = 37;

 

   /**

+   * The feature id for the '<em><b>Sets New</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int TYPE_SCOPE__SETS_NEW = 0;

+

+  /**

+   * The feature id for the '<em><b>Sets Sum</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int TYPE_SCOPE__SETS_SUM = 1;

+

+  /**

+   * The feature id for the '<em><b>Number</b></em>' containment reference.

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

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

+   * @generated

+   * @ordered

+   */

+  int TYPE_SCOPE__NUMBER = 2;

+

+  /**

+   * The number of structural features of the '<em>Type Scope</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int TYPE_SCOPE_FEATURE_COUNT = 3;

+

+  /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl <em>Class Type Scope</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassTypeScope()

+   * @generated

+   */

+  int CLASS_TYPE_SCOPE = 38;

+

+  /**

+   * The feature id for the '<em><b>Sets New</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int CLASS_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;

+

+  /**

+   * The feature id for the '<em><b>Sets Sum</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int CLASS_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;

+

+  /**

+   * The feature id for the '<em><b>Number</b></em>' containment reference.

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

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

+   * @generated

+   * @ordered

+   */

+  int CLASS_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;

+

+  /**

    * The feature id for the '<em><b>Type</b></em>' containment reference.

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

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

    * @generated

    * @ordered

    */

-  int TYPE_SCOPE__TYPE = 0;

+  int CLASS_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;

+

+  /**

+   * The number of structural features of the '<em>Class Type Scope</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int CLASS_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;

+

+  /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl <em>Object Type Scope</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectTypeScope()

+   * @generated

+   */

+  int OBJECT_TYPE_SCOPE = 39;

 

   /**

    * The feature id for the '<em><b>Sets New</b></em>' attribute.

@@ -1193,7 +1285,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @generated

    * @ordered

    */

-  int TYPE_SCOPE__SETS_NEW = 1;

+  int OBJECT_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;

 

   /**

    * The feature id for the '<em><b>Sets Sum</b></em>' attribute.

@@ -1202,43 +1294,199 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @generated

    * @ordered

    */

-  int TYPE_SCOPE__SETS_SUM = 2;

+  int OBJECT_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;

 

   /**

-   * The feature id for the '<em><b>Min</b></em>' attribute.

+   * The feature id for the '<em><b>Number</b></em>' containment reference.

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

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

    * @generated

    * @ordered

    */

-  int TYPE_SCOPE__MIN = 3;

+  int OBJECT_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;

 

   /**

-   * The feature id for the '<em><b>Max Unlimited</b></em>' attribute.

+   * The feature id for the '<em><b>Type</b></em>' containment reference.

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

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

    * @generated

    * @ordered

    */

-  int TYPE_SCOPE__MAX_UNLIMITED = 4;

+  int OBJECT_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;

 

   /**

-   * The feature id for the '<em><b>Max</b></em>' attribute.

+   * The number of structural features of the '<em>Object Type Scope</em>' class.

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

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

    * @generated

    * @ordered

    */

-  int TYPE_SCOPE__MAX = 5;

+  int OBJECT_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;

 

   /**

-   * The number of structural features of the '<em>Type Scope</em>' class.

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl <em>Integer Type Scope</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerTypeScope()

+   * @generated

+   */

+  int INTEGER_TYPE_SCOPE = 40;

+

+  /**

+   * The feature id for the '<em><b>Sets New</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int INTEGER_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;

+

+  /**

+   * The feature id for the '<em><b>Sets Sum</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int INTEGER_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;

+

+  /**

+   * The feature id for the '<em><b>Number</b></em>' containment reference.

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

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

+   * @generated

+   * @ordered

+   */

+  int INTEGER_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;

+

+  /**

+   * The feature id for the '<em><b>Type</b></em>' containment reference.

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

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

+   * @generated

+   * @ordered

+   */

+  int INTEGER_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;

+

+  /**

+   * The number of structural features of the '<em>Integer Type Scope</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int INTEGER_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;

+

+  /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl <em>Real Type Scope</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealTypeScope()

+   * @generated

+   */

+  int REAL_TYPE_SCOPE = 41;

+

+  /**

+   * The feature id for the '<em><b>Sets New</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int REAL_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;

+

+  /**

+   * The feature id for the '<em><b>Sets Sum</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int REAL_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;

+

+  /**

+   * The feature id for the '<em><b>Number</b></em>' containment reference.

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

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

+   * @generated

+   * @ordered

+   */

+  int REAL_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;

+

+  /**

+   * The feature id for the '<em><b>Type</b></em>' containment reference.

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

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

+   * @generated

+   * @ordered

+   */

+  int REAL_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;

+

+  /**

+   * The number of structural features of the '<em>Real Type Scope</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int REAL_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;

+

+  /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl <em>String Type Scope</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringTypeScope()

+   * @generated

+   */

+  int STRING_TYPE_SCOPE = 42;

+

+  /**

+   * The feature id for the '<em><b>Sets New</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int STRING_TYPE_SCOPE__SETS_NEW = TYPE_SCOPE__SETS_NEW;

+

+  /**

+   * The feature id for the '<em><b>Sets Sum</b></em>' attribute.

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

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

    * @generated

    * @ordered

    */

-  int TYPE_SCOPE_FEATURE_COUNT = 6;

+  int STRING_TYPE_SCOPE__SETS_SUM = TYPE_SCOPE__SETS_SUM;

+

+  /**

+   * The feature id for the '<em><b>Number</b></em>' containment reference.

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

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

+   * @generated

+   * @ordered

+   */

+  int STRING_TYPE_SCOPE__NUMBER = TYPE_SCOPE__NUMBER;

+

+  /**

+   * The feature id for the '<em><b>Type</b></em>' containment reference.

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

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

+   * @generated

+   * @ordered

+   */

+  int STRING_TYPE_SCOPE__TYPE = TYPE_SCOPE_FEATURE_COUNT + 0;

+

+  /**

+   * The number of structural features of the '<em>String Type Scope</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int STRING_TYPE_SCOPE_FEATURE_COUNT = TYPE_SCOPE_FEATURE_COUNT + 1;

 

   /**

    * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl <em>Type Reference</em>}' class.

@@ -1248,7 +1496,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTypeReference()

    * @generated

    */

-  int TYPE_REFERENCE = 38;

+  int TYPE_REFERENCE = 43;

 

   /**

    * The number of structural features of the '<em>Type Reference</em>' class.

@@ -1267,7 +1515,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassReference()

    * @generated

    */

-  int CLASS_REFERENCE = 39;

+  int CLASS_REFERENCE = 44;

 

   /**

    * The feature id for the '<em><b>Element</b></em>' containment reference.

@@ -1295,7 +1543,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectReference()

    * @generated

    */

-  int OBJECT_REFERENCE = 40;

+  int OBJECT_REFERENCE = 45;

 

   /**

    * The number of structural features of the '<em>Object Reference</em>' class.

@@ -1314,7 +1562,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerReference()

    * @generated

    */

-  int INTEGER_REFERENCE = 41;

+  int INTEGER_REFERENCE = 46;

 

   /**

    * The number of structural features of the '<em>Integer Reference</em>' class.

@@ -1333,7 +1581,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealReference()

    * @generated

    */

-  int REAL_REFERENCE = 42;

+  int REAL_REFERENCE = 47;

 

   /**

    * The number of structural features of the '<em>Real Reference</em>' class.

@@ -1352,7 +1600,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringReference()

    * @generated

    */

-  int STRING_REFERENCE = 43;

+  int STRING_REFERENCE = 48;

 

   /**

    * The number of structural features of the '<em>String Reference</em>' class.

@@ -1364,6 +1612,192 @@ public interface ApplicationConfigurationPackage extends EPackage
   int STRING_REFERENCE_FEATURE_COUNT = TYPE_REFERENCE_FEATURE_COUNT + 0;

 

   /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl <em>Number Specification</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getNumberSpecification()

+   * @generated

+   */

+  int NUMBER_SPECIFICATION = 49;

+

+  /**

+   * The number of structural features of the '<em>Number Specification</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int NUMBER_SPECIFICATION_FEATURE_COUNT = 0;

+

+  /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl <em>Exact Number</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getExactNumber()

+   * @generated

+   */

+  int EXACT_NUMBER = 50;

+

+  /**

+   * The feature id for the '<em><b>Exact Number</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int EXACT_NUMBER__EXACT_NUMBER = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;

+

+  /**

+   * The feature id for the '<em><b>Exact Unlimited</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int EXACT_NUMBER__EXACT_UNLIMITED = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;

+

+  /**

+   * The number of structural features of the '<em>Exact Number</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int EXACT_NUMBER_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 2;

+

+  /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl <em>Intervall Number</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntervallNumber()

+   * @generated

+   */

+  int INTERVALL_NUMBER = 51;

+

+  /**

+   * The feature id for the '<em><b>Min</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int INTERVALL_NUMBER__MIN = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;

+

+  /**

+   * The feature id for the '<em><b>Max Number</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int INTERVALL_NUMBER__MAX_NUMBER = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;

+

+  /**

+   * The feature id for the '<em><b>Max Unlimited</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int INTERVALL_NUMBER__MAX_UNLIMITED = NUMBER_SPECIFICATION_FEATURE_COUNT + 2;

+

+  /**

+   * The number of structural features of the '<em>Intervall Number</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int INTERVALL_NUMBER_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 3;

+

+  /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl <em>Int Enumberation</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntEnumberation()

+   * @generated

+   */

+  int INT_ENUMBERATION = 52;

+

+  /**

+   * The feature id for the '<em><b>Entry</b></em>' attribute list.

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

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

+   * @generated

+   * @ordered

+   */

+  int INT_ENUMBERATION__ENTRY = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;

+

+  /**

+   * The number of structural features of the '<em>Int Enumberation</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int INT_ENUMBERATION_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;

+

+  /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl <em>Real Enumeration</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealEnumeration()

+   * @generated

+   */

+  int REAL_ENUMERATION = 53;

+

+  /**

+   * The feature id for the '<em><b>Entry</b></em>' attribute list.

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

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

+   * @generated

+   * @ordered

+   */

+  int REAL_ENUMERATION__ENTRY = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;

+

+  /**

+   * The number of structural features of the '<em>Real Enumeration</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int REAL_ENUMERATION_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;

+

+  /**

+   * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl <em>String Enumeration</em>}' class.

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

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

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringEnumeration()

+   * @generated

+   */

+  int STRING_ENUMERATION = 54;

+

+  /**

+   * The feature id for the '<em><b>Entry</b></em>' attribute list.

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

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

+   * @generated

+   * @ordered

+   */

+  int STRING_ENUMERATION__ENTRY = NUMBER_SPECIFICATION_FEATURE_COUNT + 0;

+

+  /**

+   * The number of structural features of the '<em>String Enumeration</em>' class.

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

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

+   * @generated

+   * @ordered

+   */

+  int STRING_ENUMERATION_FEATURE_COUNT = NUMBER_SPECIFICATION_FEATURE_COUNT + 1;

+

+  /**

    * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ScopeDeclarationImpl <em>Scope Declaration</em>}' class.

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

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

@@ -1371,7 +1805,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScopeDeclaration()

    * @generated

    */

-  int SCOPE_DECLARATION = 44;

+  int SCOPE_DECLARATION = 55;

 

   /**

    * The feature id for the '<em><b>Name</b></em>' attribute.

@@ -1408,7 +1842,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getScopeReference()

    * @generated

    */

-  int SCOPE_REFERENCE = 45;

+  int SCOPE_REFERENCE = 56;

 

   /**

    * The feature id for the '<em><b>Referred</b></em>' reference.

@@ -1436,7 +1870,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getTask()

    * @generated

    */

-  int TASK = 47;

+  int TASK = 58;

 

   /**

    * The number of structural features of the '<em>Task</em>' class.

@@ -1455,7 +1889,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getGenerationTask()

    * @generated

    */

-  int GENERATION_TASK = 48;

+  int GENERATION_TASK = 59;

 

   /**

    * The feature id for the '<em><b>Metamodel</b></em>' containment reference.

@@ -1494,49 +1928,58 @@ public interface ApplicationConfigurationPackage extends EPackage
   int GENERATION_TASK__SCOPE = TASK_FEATURE_COUNT + 3;

 

   /**

+   * The feature id for the '<em><b>Number Specified</b></em>' attribute.

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

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

+   * @generated

+   * @ordered

+   */

+  int GENERATION_TASK__NUMBER_SPECIFIED = TASK_FEATURE_COUNT + 4;

+

+  /**

    * The feature id for the '<em><b>Number</b></em>' attribute.

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

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

    * @generated

    * @ordered

    */

-  int GENERATION_TASK__NUMBER = TASK_FEATURE_COUNT + 4;

+  int GENERATION_TASK__NUMBER = TASK_FEATURE_COUNT + 5;

 

   /**

-   * The feature id for the '<em><b>Runs</b></em>' attribute.

+   * The feature id for the '<em><b>Run Specified</b></em>' attribute.

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

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

    * @generated

    * @ordered

    */

-  int GENERATION_TASK__RUNS = TASK_FEATURE_COUNT + 5;

+  int GENERATION_TASK__RUN_SPECIFIED = TASK_FEATURE_COUNT + 6;

 

   /**

-   * The feature id for the '<em><b>Solver</b></em>' attribute.

+   * The feature id for the '<em><b>Runs</b></em>' attribute.

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

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

    * @generated

    * @ordered

    */

-  int GENERATION_TASK__SOLVER = TASK_FEATURE_COUNT + 6;

+  int GENERATION_TASK__RUNS = TASK_FEATURE_COUNT + 7;

 

   /**

-   * The feature id for the '<em><b>Config</b></em>' containment reference.

+   * The feature id for the '<em><b>Solver</b></em>' attribute.

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

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

    * @generated

    * @ordered

    */

-  int GENERATION_TASK__CONFIG = TASK_FEATURE_COUNT + 7;

+  int GENERATION_TASK__SOLVER = TASK_FEATURE_COUNT + 8;

 

   /**

-   * The feature id for the '<em><b>Taget Folder</b></em>' containment reference.

+   * The feature id for the '<em><b>Config</b></em>' containment reference.

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

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

    * @generated

    * @ordered

    */

-  int GENERATION_TASK__TAGET_FOLDER = TASK_FEATURE_COUNT + 8;

+  int GENERATION_TASK__CONFIG = TASK_FEATURE_COUNT + 9;

 

   /**

    * The feature id for the '<em><b>Debug Folder</b></em>' containment reference.

@@ -1545,7 +1988,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @generated

    * @ordered

    */

-  int GENERATION_TASK__DEBUG_FOLDER = TASK_FEATURE_COUNT + 9;

+  int GENERATION_TASK__DEBUG_FOLDER = TASK_FEATURE_COUNT + 10;

 

   /**

    * The feature id for the '<em><b>Target Log File</b></em>' containment reference.

@@ -1554,7 +1997,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @generated

    * @ordered

    */

-  int GENERATION_TASK__TARGET_LOG_FILE = TASK_FEATURE_COUNT + 10;

+  int GENERATION_TASK__TARGET_LOG_FILE = TASK_FEATURE_COUNT + 11;

 

   /**

    * The feature id for the '<em><b>Target Statistics File</b></em>' containment reference.

@@ -1563,7 +2006,16 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @generated

    * @ordered

    */

-  int GENERATION_TASK__TARGET_STATISTICS_FILE = TASK_FEATURE_COUNT + 11;

+  int GENERATION_TASK__TARGET_STATISTICS_FILE = TASK_FEATURE_COUNT + 12;

+

+  /**

+   * The feature id for the '<em><b>Taget Folder</b></em>' containment reference.

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

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

+   * @generated

+   * @ordered

+   */

+  int GENERATION_TASK__TAGET_FOLDER = TASK_FEATURE_COUNT + 13;

 

   /**

    * The number of structural features of the '<em>Generation Task</em>' class.

@@ -1572,7 +2024,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @generated

    * @ordered

    */

-  int GENERATION_TASK_FEATURE_COUNT = TASK_FEATURE_COUNT + 12;

+  int GENERATION_TASK_FEATURE_COUNT = TASK_FEATURE_COUNT + 14;

 

   /**

    * The meta object id for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerScopeImpl <em>Integer Scope</em>}' class.

@@ -1582,7 +2034,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerScope()

    * @generated

    */

-  int INTEGER_SCOPE = 49;

+  int INTEGER_SCOPE = 60;

 

   /**

    * The number of structural features of the '<em>Integer Scope</em>' class.

@@ -1601,7 +2053,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealScope()

    * @generated

    */

-  int REAL_SCOPE = 50;

+  int REAL_SCOPE = 61;

 

   /**

    * The number of structural features of the '<em>Real Scope</em>' class.

@@ -1620,7 +2072,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringScope()

    * @generated

    */

-  int STRING_SCOPE = 51;

+  int STRING_SCOPE = 62;

 

   /**

    * The number of structural features of the '<em>String Scope</em>' class.

@@ -1639,7 +2091,7 @@ public interface ApplicationConfigurationPackage extends EPackage
    * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getSolver()

    * @generated

    */

-  int SOLVER = 52;

+  int SOLVER = 63;

 

 

   /**

@@ -2375,17 +2827,6 @@ public interface ApplicationConfigurationPackage extends EPackage
   EClass getTypeScope();

 

   /**

-   * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType <em>Type</em>}'.

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

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

-   * @return the meta object for the containment reference '<em>Type</em>'.

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType()

-   * @see #getTypeScope()

-   * @generated

-   */

-  EReference getTypeScope_Type();

-

-  /**

    * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}'.

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

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

@@ -2408,37 +2849,120 @@ public interface ApplicationConfigurationPackage extends EPackage
   EAttribute getTypeScope_SetsSum();

 

   /**

-   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin <em>Min</em>}'.

+   * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}'.

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

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

-   * @return the meta object for the attribute '<em>Min</em>'.

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin()

+   * @return the meta object for the containment reference '<em>Number</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber()

    * @see #getTypeScope()

    * @generated

    */

-  EAttribute getTypeScope_Min();

+  EReference getTypeScope_Number();

 

   /**

-   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited <em>Max Unlimited</em>}'.

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope <em>Class Type Scope</em>}'.

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

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

-   * @return the meta object for the attribute '<em>Max Unlimited</em>'.

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited()

-   * @see #getTypeScope()

+   * @return the meta object for class '<em>Class Type Scope</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope

    * @generated

    */

-  EAttribute getTypeScope_MaxUnlimited();

+  EClass getClassTypeScope();

 

   /**

-   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax <em>Max</em>}'.

+   * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType <em>Type</em>}'.

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

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

-   * @return the meta object for the attribute '<em>Max</em>'.

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax()

-   * @see #getTypeScope()

+   * @return the meta object for the containment reference '<em>Type</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType()

+   * @see #getClassTypeScope()

+   * @generated

+   */

+  EReference getClassTypeScope_Type();

+

+  /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope <em>Object Type Scope</em>}'.

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

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

+   * @return the meta object for class '<em>Object Type Scope</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope

+   * @generated

+   */

+  EClass getObjectTypeScope();

+

+  /**

+   * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType <em>Type</em>}'.

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

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

+   * @return the meta object for the containment reference '<em>Type</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType()

+   * @see #getObjectTypeScope()

+   * @generated

+   */

+  EReference getObjectTypeScope_Type();

+

+  /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope <em>Integer Type Scope</em>}'.

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

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

+   * @return the meta object for class '<em>Integer Type Scope</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope

+   * @generated

+   */

+  EClass getIntegerTypeScope();

+

+  /**

+   * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType <em>Type</em>}'.

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

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

+   * @return the meta object for the containment reference '<em>Type</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType()

+   * @see #getIntegerTypeScope()

+   * @generated

+   */

+  EReference getIntegerTypeScope_Type();

+

+  /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope <em>Real Type Scope</em>}'.

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

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

+   * @return the meta object for class '<em>Real Type Scope</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope

+   * @generated

+   */

+  EClass getRealTypeScope();

+

+  /**

+   * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType <em>Type</em>}'.

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

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

+   * @return the meta object for the containment reference '<em>Type</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType()

+   * @see #getRealTypeScope()

    * @generated

    */

-  EAttribute getTypeScope_Max();

+  EReference getRealTypeScope_Type();

+

+  /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope <em>String Type Scope</em>}'.

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

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

+   * @return the meta object for class '<em>String Type Scope</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope

+   * @generated

+   */

+  EClass getStringTypeScope();

+

+  /**

+   * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType <em>Type</em>}'.

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

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

+   * @return the meta object for the containment reference '<em>Type</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType()

+   * @see #getStringTypeScope()

+   * @generated

+   */

+  EReference getStringTypeScope_Type();

 

   /**

    * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference <em>Type Reference</em>}'.

@@ -2512,6 +3036,154 @@ public interface ApplicationConfigurationPackage extends EPackage
   EClass getStringReference();

 

   /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification <em>Number Specification</em>}'.

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

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

+   * @return the meta object for class '<em>Number Specification</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification

+   * @generated

+   */

+  EClass getNumberSpecification();

+

+  /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber <em>Exact Number</em>}'.

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

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

+   * @return the meta object for class '<em>Exact Number</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber

+   * @generated

+   */

+  EClass getExactNumber();

+

+  /**

+   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}'.

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

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

+   * @return the meta object for the attribute '<em>Exact Number</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber()

+   * @see #getExactNumber()

+   * @generated

+   */

+  EAttribute getExactNumber_ExactNumber();

+

+  /**

+   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}'.

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

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

+   * @return the meta object for the attribute '<em>Exact Unlimited</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited()

+   * @see #getExactNumber()

+   * @generated

+   */

+  EAttribute getExactNumber_ExactUnlimited();

+

+  /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber <em>Intervall Number</em>}'.

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

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

+   * @return the meta object for class '<em>Intervall Number</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber

+   * @generated

+   */

+  EClass getIntervallNumber();

+

+  /**

+   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}'.

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

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

+   * @return the meta object for the attribute '<em>Min</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin()

+   * @see #getIntervallNumber()

+   * @generated

+   */

+  EAttribute getIntervallNumber_Min();

+

+  /**

+   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}'.

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

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

+   * @return the meta object for the attribute '<em>Max Number</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber()

+   * @see #getIntervallNumber()

+   * @generated

+   */

+  EAttribute getIntervallNumber_MaxNumber();

+

+  /**

+   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}'.

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

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

+   * @return the meta object for the attribute '<em>Max Unlimited</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited()

+   * @see #getIntervallNumber()

+   * @generated

+   */

+  EAttribute getIntervallNumber_MaxUnlimited();

+

+  /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation <em>Int Enumberation</em>}'.

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

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

+   * @return the meta object for class '<em>Int Enumberation</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation

+   * @generated

+   */

+  EClass getIntEnumberation();

+

+  /**

+   * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry <em>Entry</em>}'.

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

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

+   * @return the meta object for the attribute list '<em>Entry</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry()

+   * @see #getIntEnumberation()

+   * @generated

+   */

+  EAttribute getIntEnumberation_Entry();

+

+  /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration <em>Real Enumeration</em>}'.

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

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

+   * @return the meta object for class '<em>Real Enumeration</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration

+   * @generated

+   */

+  EClass getRealEnumeration();

+

+  /**

+   * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration#getEntry <em>Entry</em>}'.

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

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

+   * @return the meta object for the attribute list '<em>Entry</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration#getEntry()

+   * @see #getRealEnumeration()

+   * @generated

+   */

+  EAttribute getRealEnumeration_Entry();

+

+  /**

+   * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration <em>String Enumeration</em>}'.

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

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

+   * @return the meta object for class '<em>String Enumeration</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration

+   * @generated

+   */

+  EClass getStringEnumeration();

+

+  /**

+   * Returns the meta object for the attribute list '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration#getEntry <em>Entry</em>}'.

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

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

+   * @return the meta object for the attribute list '<em>Entry</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration#getEntry()

+   * @see #getStringEnumeration()

+   * @generated

+   */

+  EAttribute getStringEnumeration_Entry();

+

+  /**

    * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration <em>Scope Declaration</em>}'.

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

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

@@ -2628,6 +3300,17 @@ public interface ApplicationConfigurationPackage extends EPackage
   EReference getGenerationTask_Scope();

 

   /**

+   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified <em>Number Specified</em>}'.

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

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

+   * @return the meta object for the attribute '<em>Number Specified</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified()

+   * @see #getGenerationTask()

+   * @generated

+   */

+  EAttribute getGenerationTask_NumberSpecified();

+

+  /**

    * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber <em>Number</em>}'.

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

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

@@ -2639,6 +3322,17 @@ public interface ApplicationConfigurationPackage extends EPackage
   EAttribute getGenerationTask_Number();

 

   /**

+   * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified <em>Run Specified</em>}'.

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

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

+   * @return the meta object for the attribute '<em>Run Specified</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified()

+   * @see #getGenerationTask()

+   * @generated

+   */

+  EAttribute getGenerationTask_RunSpecified();

+

+  /**

    * Returns the meta object for the attribute '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns <em>Runs</em>}'.

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

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

@@ -2672,17 +3366,6 @@ public interface ApplicationConfigurationPackage extends EPackage
   EReference getGenerationTask_Config();

 

   /**

-   * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}'.

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

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

-   * @return the meta object for the containment reference '<em>Taget Folder</em>'.

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder()

-   * @see #getGenerationTask()

-   * @generated

-   */

-  EReference getGenerationTask_TagetFolder();

-

-  /**

    * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder <em>Debug Folder</em>}'.

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

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

@@ -2716,6 +3399,17 @@ public interface ApplicationConfigurationPackage extends EPackage
   EReference getGenerationTask_TargetStatisticsFile();

 

   /**

+   * Returns the meta object for the containment reference '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}'.

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

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

+   * @return the meta object for the containment reference '<em>Taget Folder</em>'.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder()

+   * @see #getGenerationTask()

+   * @generated

+   */

+  EReference getGenerationTask_TagetFolder();

+

+  /**

    * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerScope <em>Integer Scope</em>}'.

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

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

@@ -3415,52 +4109,118 @@ public interface ApplicationConfigurationPackage extends EPackage
     EClass TYPE_SCOPE = eINSTANCE.getTypeScope();

 

     /**

+     * The meta object literal for the '<em><b>Sets New</b></em>' attribute feature.

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

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

+     * @generated

+     */

+    EAttribute TYPE_SCOPE__SETS_NEW = eINSTANCE.getTypeScope_SetsNew();

+

+    /**

+     * The meta object literal for the '<em><b>Sets Sum</b></em>' attribute feature.

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

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

+     * @generated

+     */

+    EAttribute TYPE_SCOPE__SETS_SUM = eINSTANCE.getTypeScope_SetsSum();

+

+    /**

+     * The meta object literal for the '<em><b>Number</b></em>' containment reference feature.

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

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

+     * @generated

+     */

+    EReference TYPE_SCOPE__NUMBER = eINSTANCE.getTypeScope_Number();

+

+    /**

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl <em>Class Type Scope</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getClassTypeScope()

+     * @generated

+     */

+    EClass CLASS_TYPE_SCOPE = eINSTANCE.getClassTypeScope();

+

+    /**

      * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.

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

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

      * @generated

      */

-    EReference TYPE_SCOPE__TYPE = eINSTANCE.getTypeScope_Type();

+    EReference CLASS_TYPE_SCOPE__TYPE = eINSTANCE.getClassTypeScope_Type();

 

     /**

-     * The meta object literal for the '<em><b>Sets New</b></em>' attribute feature.

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl <em>Object Type Scope</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getObjectTypeScope()

      * @generated

      */

-    EAttribute TYPE_SCOPE__SETS_NEW = eINSTANCE.getTypeScope_SetsNew();

+    EClass OBJECT_TYPE_SCOPE = eINSTANCE.getObjectTypeScope();

 

     /**

-     * The meta object literal for the '<em><b>Sets Sum</b></em>' attribute feature.

+     * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.

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

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

      * @generated

      */

-    EAttribute TYPE_SCOPE__SETS_SUM = eINSTANCE.getTypeScope_SetsSum();

+    EReference OBJECT_TYPE_SCOPE__TYPE = eINSTANCE.getObjectTypeScope_Type();

 

     /**

-     * The meta object literal for the '<em><b>Min</b></em>' attribute feature.

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl <em>Integer Type Scope</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntegerTypeScope()

      * @generated

      */

-    EAttribute TYPE_SCOPE__MIN = eINSTANCE.getTypeScope_Min();

+    EClass INTEGER_TYPE_SCOPE = eINSTANCE.getIntegerTypeScope();

 

     /**

-     * The meta object literal for the '<em><b>Max Unlimited</b></em>' attribute feature.

+     * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.

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

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

      * @generated

      */

-    EAttribute TYPE_SCOPE__MAX_UNLIMITED = eINSTANCE.getTypeScope_MaxUnlimited();

+    EReference INTEGER_TYPE_SCOPE__TYPE = eINSTANCE.getIntegerTypeScope_Type();

 

     /**

-     * The meta object literal for the '<em><b>Max</b></em>' attribute feature.

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl <em>Real Type Scope</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealTypeScope()

      * @generated

      */

-    EAttribute TYPE_SCOPE__MAX = eINSTANCE.getTypeScope_Max();

+    EClass REAL_TYPE_SCOPE = eINSTANCE.getRealTypeScope();

+

+    /**

+     * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.

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

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

+     * @generated

+     */

+    EReference REAL_TYPE_SCOPE__TYPE = eINSTANCE.getRealTypeScope_Type();

+

+    /**

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl <em>String Type Scope</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringTypeScope()

+     * @generated

+     */

+    EClass STRING_TYPE_SCOPE = eINSTANCE.getStringTypeScope();

+

+    /**

+     * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.

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

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

+     * @generated

+     */

+    EReference STRING_TYPE_SCOPE__TYPE = eINSTANCE.getStringTypeScope_Type();

 

     /**

      * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeReferenceImpl <em>Type Reference</em>}' class.

@@ -3531,6 +4291,130 @@ public interface ApplicationConfigurationPackage extends EPackage
     EClass STRING_REFERENCE = eINSTANCE.getStringReference();

 

     /**

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl <em>Number Specification</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.NumberSpecificationImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getNumberSpecification()

+     * @generated

+     */

+    EClass NUMBER_SPECIFICATION = eINSTANCE.getNumberSpecification();

+

+    /**

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl <em>Exact Number</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getExactNumber()

+     * @generated

+     */

+    EClass EXACT_NUMBER = eINSTANCE.getExactNumber();

+

+    /**

+     * The meta object literal for the '<em><b>Exact Number</b></em>' attribute feature.

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

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

+     * @generated

+     */

+    EAttribute EXACT_NUMBER__EXACT_NUMBER = eINSTANCE.getExactNumber_ExactNumber();

+

+    /**

+     * The meta object literal for the '<em><b>Exact Unlimited</b></em>' attribute feature.

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

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

+     * @generated

+     */

+    EAttribute EXACT_NUMBER__EXACT_UNLIMITED = eINSTANCE.getExactNumber_ExactUnlimited();

+

+    /**

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl <em>Intervall Number</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntervallNumber()

+     * @generated

+     */

+    EClass INTERVALL_NUMBER = eINSTANCE.getIntervallNumber();

+

+    /**

+     * The meta object literal for the '<em><b>Min</b></em>' attribute feature.

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

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

+     * @generated

+     */

+    EAttribute INTERVALL_NUMBER__MIN = eINSTANCE.getIntervallNumber_Min();

+

+    /**

+     * The meta object literal for the '<em><b>Max Number</b></em>' attribute feature.

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

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

+     * @generated

+     */

+    EAttribute INTERVALL_NUMBER__MAX_NUMBER = eINSTANCE.getIntervallNumber_MaxNumber();

+

+    /**

+     * The meta object literal for the '<em><b>Max Unlimited</b></em>' attribute feature.

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

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

+     * @generated

+     */

+    EAttribute INTERVALL_NUMBER__MAX_UNLIMITED = eINSTANCE.getIntervallNumber_MaxUnlimited();

+

+    /**

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl <em>Int Enumberation</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getIntEnumberation()

+     * @generated

+     */

+    EClass INT_ENUMBERATION = eINSTANCE.getIntEnumberation();

+

+    /**

+     * The meta object literal for the '<em><b>Entry</b></em>' attribute list feature.

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

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

+     * @generated

+     */

+    EAttribute INT_ENUMBERATION__ENTRY = eINSTANCE.getIntEnumberation_Entry();

+

+    /**

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl <em>Real Enumeration</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getRealEnumeration()

+     * @generated

+     */

+    EClass REAL_ENUMERATION = eINSTANCE.getRealEnumeration();

+

+    /**

+     * The meta object literal for the '<em><b>Entry</b></em>' attribute list feature.

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

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

+     * @generated

+     */

+    EAttribute REAL_ENUMERATION__ENTRY = eINSTANCE.getRealEnumeration_Entry();

+

+    /**

+     * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl <em>String Enumeration</em>}' class.

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

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

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl

+     * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ApplicationConfigurationPackageImpl#getStringEnumeration()

+     * @generated

+     */

+    EClass STRING_ENUMERATION = eINSTANCE.getStringEnumeration();

+

+    /**

+     * The meta object literal for the '<em><b>Entry</b></em>' attribute list feature.

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

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

+     * @generated

+     */

+    EAttribute STRING_ENUMERATION__ENTRY = eINSTANCE.getStringEnumeration_Entry();

+

+    /**

      * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ScopeDeclarationImpl <em>Scope Declaration</em>}' class.

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

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

@@ -3629,6 +4513,14 @@ public interface ApplicationConfigurationPackage extends EPackage
     EReference GENERATION_TASK__SCOPE = eINSTANCE.getGenerationTask_Scope();

 

     /**

+     * The meta object literal for the '<em><b>Number Specified</b></em>' attribute feature.

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

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

+     * @generated

+     */

+    EAttribute GENERATION_TASK__NUMBER_SPECIFIED = eINSTANCE.getGenerationTask_NumberSpecified();

+

+    /**

      * The meta object literal for the '<em><b>Number</b></em>' attribute feature.

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

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

@@ -3637,36 +4529,36 @@ public interface ApplicationConfigurationPackage extends EPackage
     EAttribute GENERATION_TASK__NUMBER = eINSTANCE.getGenerationTask_Number();

 

     /**

-     * The meta object literal for the '<em><b>Runs</b></em>' attribute feature.

+     * The meta object literal for the '<em><b>Run Specified</b></em>' attribute feature.

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

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

      * @generated

      */

-    EAttribute GENERATION_TASK__RUNS = eINSTANCE.getGenerationTask_Runs();

+    EAttribute GENERATION_TASK__RUN_SPECIFIED = eINSTANCE.getGenerationTask_RunSpecified();

 

     /**

-     * The meta object literal for the '<em><b>Solver</b></em>' attribute feature.

+     * The meta object literal for the '<em><b>Runs</b></em>' attribute feature.

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

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

      * @generated

      */

-    EAttribute GENERATION_TASK__SOLVER = eINSTANCE.getGenerationTask_Solver();

+    EAttribute GENERATION_TASK__RUNS = eINSTANCE.getGenerationTask_Runs();

 

     /**

-     * The meta object literal for the '<em><b>Config</b></em>' containment reference feature.

+     * The meta object literal for the '<em><b>Solver</b></em>' attribute feature.

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

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

      * @generated

      */

-    EReference GENERATION_TASK__CONFIG = eINSTANCE.getGenerationTask_Config();

+    EAttribute GENERATION_TASK__SOLVER = eINSTANCE.getGenerationTask_Solver();

 

     /**

-     * The meta object literal for the '<em><b>Taget Folder</b></em>' containment reference feature.

+     * The meta object literal for the '<em><b>Config</b></em>' containment reference feature.

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

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

      * @generated

      */

-    EReference GENERATION_TASK__TAGET_FOLDER = eINSTANCE.getGenerationTask_TagetFolder();

+    EReference GENERATION_TASK__CONFIG = eINSTANCE.getGenerationTask_Config();

 

     /**

      * The meta object literal for the '<em><b>Debug Folder</b></em>' containment reference feature.

@@ -3693,6 +4585,14 @@ public interface ApplicationConfigurationPackage extends EPackage
     EReference GENERATION_TASK__TARGET_STATISTICS_FILE = eINSTANCE.getGenerationTask_TargetStatisticsFile();

 

     /**

+     * The meta object literal for the '<em><b>Taget Folder</b></em>' containment reference feature.

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

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

+     * @generated

+     */

+    EReference GENERATION_TASK__TAGET_FOLDER = eINSTANCE.getGenerationTask_TagetFolder();

+

+    /**

      * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerScopeImpl <em>Integer Scope</em>}' class.

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

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

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java
new file mode 100644
index 00000000..5861bfdf
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ClassTypeScope.java
@@ -0,0 +1,51 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+

+/**

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

+ * A representation of the model object '<em><b>Class Type Scope</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getClassTypeScope()

+ * @model

+ * @generated

+ */

+public interface ClassTypeScope extends TypeScope

+{

+  /**

+   * Returns the value of the '<em><b>Type</b></em>' containment reference.

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

+   * <p>

+   * If the meaning of the '<em>Type</em>' containment reference isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Type</em>' containment reference.

+   * @see #setType(ClassReference)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getClassTypeScope_Type()

+   * @model containment="true"

+   * @generated

+   */

+  ClassReference getType();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope#getType <em>Type</em>}' containment reference.

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

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

+   * @param value the new value of the '<em>Type</em>' containment reference.

+   * @see #getType()

+   * @generated

+   */

+  void setType(ClassReference value);

+

+} // ClassTypeScope

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java
new file mode 100644
index 00000000..d8737dff
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ExactNumber.java
@@ -0,0 +1,78 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+

+/**

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

+ * A representation of the model object '<em><b>Exact Number</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber()

+ * @model

+ * @generated

+ */

+public interface ExactNumber extends NumberSpecification

+{

+  /**

+   * Returns the value of the '<em><b>Exact Number</b></em>' attribute.

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

+   * <p>

+   * If the meaning of the '<em>Exact Number</em>' attribute isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Exact Number</em>' attribute.

+   * @see #setExactNumber(int)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactNumber()

+   * @model

+   * @generated

+   */

+  int getExactNumber();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#getExactNumber <em>Exact Number</em>}' attribute.

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

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

+   * @param value the new value of the '<em>Exact Number</em>' attribute.

+   * @see #getExactNumber()

+   * @generated

+   */

+  void setExactNumber(int value);

+

+  /**

+   * Returns the value of the '<em><b>Exact Unlimited</b></em>' attribute.

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

+   * <p>

+   * If the meaning of the '<em>Exact Unlimited</em>' attribute isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Exact Unlimited</em>' attribute.

+   * @see #setExactUnlimited(boolean)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getExactNumber_ExactUnlimited()

+   * @model

+   * @generated

+   */

+  boolean isExactUnlimited();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber#isExactUnlimited <em>Exact Unlimited</em>}' attribute.

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

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

+   * @param value the new value of the '<em>Exact Unlimited</em>' attribute.

+   * @see #isExactUnlimited()

+   * @generated

+   */

+  void setExactUnlimited(boolean value);

+

+} // ExactNumber

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
index 7d62d979..21ff0327 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/GenerationTask.java
@@ -17,14 +17,16 @@ package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPartialModel <em>Partial Model</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPatterns <em>Patterns</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getScope <em>Scope</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified <em>Number Specified</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber <em>Number</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified <em>Run Specified</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns <em>Runs</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getSolver <em>Solver</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getConfig <em>Config</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder <em>Debug Folder</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetLogFile <em>Target Log File</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetStatisticsFile <em>Target Statistics File</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}</li>

  * </ul>

  *

  * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask()

@@ -138,6 +140,32 @@ public interface GenerationTask extends Task
   void setScope(Scope value);

 

   /**

+   * Returns the value of the '<em><b>Number Specified</b></em>' attribute.

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

+   * <p>

+   * If the meaning of the '<em>Number Specified</em>' attribute isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Number Specified</em>' attribute.

+   * @see #setNumberSpecified(boolean)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_NumberSpecified()

+   * @model

+   * @generated

+   */

+  boolean isNumberSpecified();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified <em>Number Specified</em>}' attribute.

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

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

+   * @param value the new value of the '<em>Number Specified</em>' attribute.

+   * @see #isNumberSpecified()

+   * @generated

+   */

+  void setNumberSpecified(boolean value);

+

+  /**

    * Returns the value of the '<em><b>Number</b></em>' attribute.

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

    * <p>

@@ -164,6 +192,32 @@ public interface GenerationTask extends Task
   void setNumber(int value);

 

   /**

+   * Returns the value of the '<em><b>Run Specified</b></em>' attribute.

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

+   * <p>

+   * If the meaning of the '<em>Run Specified</em>' attribute isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Run Specified</em>' attribute.

+   * @see #setRunSpecified(boolean)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_RunSpecified()

+   * @model

+   * @generated

+   */

+  boolean isRunSpecified();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified <em>Run Specified</em>}' attribute.

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

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

+   * @param value the new value of the '<em>Run Specified</em>' attribute.

+   * @see #isRunSpecified()

+   * @generated

+   */

+  void setRunSpecified(boolean value);

+

+  /**

    * Returns the value of the '<em><b>Runs</b></em>' attribute.

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

    * <p>

@@ -245,32 +299,6 @@ public interface GenerationTask extends Task
   void setConfig(Config value);

 

   /**

-   * Returns the value of the '<em><b>Taget Folder</b></em>' containment reference.

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

-   * <p>

-   * If the meaning of the '<em>Taget Folder</em>' containment reference isn't clear,

-   * there really should be more of a description here...

-   * </p>

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

-   * @return the value of the '<em>Taget Folder</em>' containment reference.

-   * @see #setTagetFolder(File)

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TagetFolder()

-   * @model containment="true"

-   * @generated

-   */

-  File getTagetFolder();

-

-  /**

-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}' containment reference.

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

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

-   * @param value the new value of the '<em>Taget Folder</em>' containment reference.

-   * @see #getTagetFolder()

-   * @generated

-   */

-  void setTagetFolder(File value);

-

-  /**

    * Returns the value of the '<em><b>Debug Folder</b></em>' containment reference.

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

    * <p>

@@ -348,4 +376,30 @@ public interface GenerationTask extends Task
    */

   void setTargetStatisticsFile(File value);

 

+  /**

+   * Returns the value of the '<em><b>Taget Folder</b></em>' containment reference.

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

+   * <p>

+   * If the meaning of the '<em>Taget Folder</em>' containment reference isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Taget Folder</em>' containment reference.

+   * @see #setTagetFolder(File)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TagetFolder()

+   * @model containment="true"

+   * @generated

+   */

+  File getTagetFolder();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder <em>Taget Folder</em>}' containment reference.

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

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

+   * @param value the new value of the '<em>Taget Folder</em>' containment reference.

+   * @see #getTagetFolder()

+   * @generated

+   */

+  void setTagetFolder(File value);

+

 } // GenerationTask

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java
new file mode 100644
index 00000000..40c0d9f5
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntEnumberation.java
@@ -0,0 +1,42 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+import org.eclipse.emf.common.util.EList;

+

+/**

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

+ * A representation of the model object '<em><b>Int Enumberation</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation#getEntry <em>Entry</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation()

+ * @model

+ * @generated

+ */

+public interface IntEnumberation extends NumberSpecification

+{

+  /**

+   * Returns the value of the '<em><b>Entry</b></em>' attribute list.

+   * The list contents are of type {@link java.lang.Integer}.

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

+   * <p>

+   * If the meaning of the '<em>Entry</em>' attribute list isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Entry</em>' attribute list.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntEnumberation_Entry()

+   * @model unique="false"

+   * @generated

+   */

+  EList<Integer> getEntry();

+

+} // IntEnumberation

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java
new file mode 100644
index 00000000..445753b2
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntegerTypeScope.java
@@ -0,0 +1,51 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+

+/**

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

+ * A representation of the model object '<em><b>Integer Type Scope</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntegerTypeScope()

+ * @model

+ * @generated

+ */

+public interface IntegerTypeScope extends TypeScope

+{

+  /**

+   * Returns the value of the '<em><b>Type</b></em>' containment reference.

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

+   * <p>

+   * If the meaning of the '<em>Type</em>' containment reference isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Type</em>' containment reference.

+   * @see #setType(IntegerReference)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntegerTypeScope_Type()

+   * @model containment="true"

+   * @generated

+   */

+  IntegerReference getType();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope#getType <em>Type</em>}' containment reference.

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

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

+   * @param value the new value of the '<em>Type</em>' containment reference.

+   * @see #getType()

+   * @generated

+   */

+  void setType(IntegerReference value);

+

+} // IntegerTypeScope

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java
new file mode 100644
index 00000000..e829d546
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/IntervallNumber.java
@@ -0,0 +1,105 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+

+/**

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

+ * A representation of the model object '<em><b>Intervall Number</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber()

+ * @model

+ * @generated

+ */

+public interface IntervallNumber extends NumberSpecification

+{

+  /**

+   * Returns the value of the '<em><b>Min</b></em>' attribute.

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

+   * <p>

+   * If the meaning of the '<em>Min</em>' attribute isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

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

+   * @see #setMin(int)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_Min()

+   * @model

+   * @generated

+   */

+  int getMin();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMin <em>Min</em>}' attribute.

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

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

+   * @param value the new value of the '<em>Min</em>' attribute.

+   * @see #getMin()

+   * @generated

+   */

+  void setMin(int value);

+

+  /**

+   * Returns the value of the '<em><b>Max Number</b></em>' attribute.

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

+   * <p>

+   * If the meaning of the '<em>Max Number</em>' attribute isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Max Number</em>' attribute.

+   * @see #setMaxNumber(int)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxNumber()

+   * @model

+   * @generated

+   */

+  int getMaxNumber();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#getMaxNumber <em>Max Number</em>}' attribute.

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

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

+   * @param value the new value of the '<em>Max Number</em>' attribute.

+   * @see #getMaxNumber()

+   * @generated

+   */

+  void setMaxNumber(int value);

+

+  /**

+   * Returns the value of the '<em><b>Max Unlimited</b></em>' attribute.

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

+   * <p>

+   * If the meaning of the '<em>Max Unlimited</em>' attribute isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Max Unlimited</em>' attribute.

+   * @see #setMaxUnlimited(boolean)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getIntervallNumber_MaxUnlimited()

+   * @model

+   * @generated

+   */

+  boolean isMaxUnlimited();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber#isMaxUnlimited <em>Max Unlimited</em>}' attribute.

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

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

+   * @param value the new value of the '<em>Max Unlimited</em>' attribute.

+   * @see #isMaxUnlimited()

+   * @generated

+   */

+  void setMaxUnlimited(boolean value);

+

+} // IntervallNumber

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java
new file mode 100644
index 00000000..a86f9a72
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/NumberSpecification.java
@@ -0,0 +1,20 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+import org.eclipse.emf.ecore.EObject;

+

+/**

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

+ * A representation of the model object '<em><b>Number Specification</b></em>'.

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

+ *

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getNumberSpecification()

+ * @model

+ * @generated

+ */

+public interface NumberSpecification extends EObject

+{

+} // NumberSpecification

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java
new file mode 100644
index 00000000..db30714a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/ObjectTypeScope.java
@@ -0,0 +1,51 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+

+/**

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

+ * A representation of the model object '<em><b>Object Type Scope</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getObjectTypeScope()

+ * @model

+ * @generated

+ */

+public interface ObjectTypeScope extends TypeScope

+{

+  /**

+   * Returns the value of the '<em><b>Type</b></em>' containment reference.

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

+   * <p>

+   * If the meaning of the '<em>Type</em>' containment reference isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Type</em>' containment reference.

+   * @see #setType(ObjectReference)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getObjectTypeScope_Type()

+   * @model containment="true"

+   * @generated

+   */

+  ObjectReference getType();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope#getType <em>Type</em>}' containment reference.

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

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

+   * @param value the new value of the '<em>Type</em>' containment reference.

+   * @see #getType()

+   * @generated

+   */

+  void setType(ObjectReference value);

+

+} // ObjectTypeScope

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java
new file mode 100644
index 00000000..b945b4ec
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealEnumeration.java
@@ -0,0 +1,42 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+import org.eclipse.emf.common.util.EList;

+

+/**

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

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

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration#getEntry <em>Entry</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealEnumeration()

+ * @model

+ * @generated

+ */

+public interface RealEnumeration extends NumberSpecification

+{

+  /**

+   * Returns the value of the '<em><b>Entry</b></em>' attribute list.

+   * The list contents are of type {@link java.lang.Integer}.

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

+   * <p>

+   * If the meaning of the '<em>Entry</em>' attribute list isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Entry</em>' attribute list.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealEnumeration_Entry()

+   * @model unique="false"

+   * @generated

+   */

+  EList<Integer> getEntry();

+

+} // RealEnumeration

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java
new file mode 100644
index 00000000..03027137
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/RealTypeScope.java
@@ -0,0 +1,51 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+

+/**

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

+ * A representation of the model object '<em><b>Real Type Scope</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealTypeScope()

+ * @model

+ * @generated

+ */

+public interface RealTypeScope extends TypeScope

+{

+  /**

+   * Returns the value of the '<em><b>Type</b></em>' containment reference.

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

+   * <p>

+   * If the meaning of the '<em>Type</em>' containment reference isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Type</em>' containment reference.

+   * @see #setType(RealReference)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getRealTypeScope_Type()

+   * @model containment="true"

+   * @generated

+   */

+  RealReference getType();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope#getType <em>Type</em>}' containment reference.

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

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

+   * @param value the new value of the '<em>Type</em>' containment reference.

+   * @see #getType()

+   * @generated

+   */

+  void setType(RealReference value);

+

+} // RealTypeScope

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java
new file mode 100644
index 00000000..6552e09d
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringEnumeration.java
@@ -0,0 +1,42 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+import org.eclipse.emf.common.util.EList;

+

+/**

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

+ * A representation of the model object '<em><b>String Enumeration</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration#getEntry <em>Entry</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringEnumeration()

+ * @model

+ * @generated

+ */

+public interface StringEnumeration extends NumberSpecification

+{

+  /**

+   * Returns the value of the '<em><b>Entry</b></em>' attribute list.

+   * The list contents are of type {@link java.lang.String}.

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

+   * <p>

+   * If the meaning of the '<em>Entry</em>' attribute list isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Entry</em>' attribute list.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringEnumeration_Entry()

+   * @model unique="false"

+   * @generated

+   */

+  EList<String> getEntry();

+

+} // StringEnumeration

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java
new file mode 100644
index 00000000..6e94cab6
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/StringTypeScope.java
@@ -0,0 +1,51 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;

+

+

+/**

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

+ * A representation of the model object '<em><b>String Type Scope</b></em>'.

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

+ *

+ * <p>

+ * The following features are supported:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringTypeScope()

+ * @model

+ * @generated

+ */

+public interface StringTypeScope extends TypeScope

+{

+  /**

+   * Returns the value of the '<em><b>Type</b></em>' containment reference.

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

+   * <p>

+   * If the meaning of the '<em>Type</em>' containment reference isn't clear,

+   * there really should be more of a description here...

+   * </p>

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

+   * @return the value of the '<em>Type</em>' containment reference.

+   * @see #setType(StringReference)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getStringTypeScope_Type()

+   * @model containment="true"

+   * @generated

+   */

+  StringReference getType();

+

+  /**

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope#getType <em>Type</em>}' containment reference.

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

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

+   * @param value the new value of the '<em>Type</em>' containment reference.

+   * @see #getType()

+   * @generated

+   */

+  void setType(StringReference value);

+

+} // StringTypeScope

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
index f1b65662..3cb025bd 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/TypeScope.java
@@ -14,12 +14,9 @@ import org.eclipse.emf.ecore.EObject;
  * The following features are supported:

  * </p>

  * <ul>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType <em>Type</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsNew <em>Sets New</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isSetsSum <em>Sets Sum</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin <em>Min</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited <em>Max Unlimited</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax <em>Max</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}</li>

  * </ul>

  *

  * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope()

@@ -29,32 +26,6 @@ import org.eclipse.emf.ecore.EObject;
 public interface TypeScope extends EObject

 {

   /**

-   * Returns the value of the '<em><b>Type</b></em>' containment reference.

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

-   * <p>

-   * If the meaning of the '<em>Type</em>' containment reference isn't clear,

-   * there really should be more of a description here...

-   * </p>

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

-   * @return the value of the '<em>Type</em>' containment reference.

-   * @see #setType(TypeReference)

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Type()

-   * @model containment="true"

-   * @generated

-   */

-  TypeReference getType();

-

-  /**

-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getType <em>Type</em>}' containment reference.

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

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

-   * @param value the new value of the '<em>Type</em>' containment reference.

-   * @see #getType()

-   * @generated

-   */

-  void setType(TypeReference value);

-

-  /**

    * Returns the value of the '<em><b>Sets New</b></em>' attribute.

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

    * <p>

@@ -107,81 +78,29 @@ public interface TypeScope extends EObject
   void setSetsSum(boolean value);

 

   /**

-   * Returns the value of the '<em><b>Min</b></em>' attribute.

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

-   * <p>

-   * If the meaning of the '<em>Min</em>' attribute isn't clear,

-   * there really should be more of a description here...

-   * </p>

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

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

-   * @see #setMin(int)

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Min()

-   * @model

-   * @generated

-   */

-  int getMin();

-

-  /**

-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMin <em>Min</em>}' attribute.

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

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

-   * @param value the new value of the '<em>Min</em>' attribute.

-   * @see #getMin()

-   * @generated

-   */

-  void setMin(int value);

-

-  /**

-   * Returns the value of the '<em><b>Max Unlimited</b></em>' attribute.

+   * Returns the value of the '<em><b>Number</b></em>' containment reference.

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

    * <p>

-   * If the meaning of the '<em>Max Unlimited</em>' attribute isn't clear,

+   * If the meaning of the '<em>Number</em>' containment reference isn't clear,

    * there really should be more of a description here...

    * </p>

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

-   * @return the value of the '<em>Max Unlimited</em>' attribute.

-   * @see #setMaxUnlimited(boolean)

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_MaxUnlimited()

-   * @model

-   * @generated

-   */

-  boolean isMaxUnlimited();

-

-  /**

-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#isMaxUnlimited <em>Max Unlimited</em>}' attribute.

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

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

-   * @param value the new value of the '<em>Max Unlimited</em>' attribute.

-   * @see #isMaxUnlimited()

-   * @generated

-   */

-  void setMaxUnlimited(boolean value);

-

-  /**

-   * Returns the value of the '<em><b>Max</b></em>' attribute.

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

-   * <p>

-   * If the meaning of the '<em>Max</em>' attribute isn't clear,

-   * there really should be more of a description here...

-   * </p>

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

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

-   * @see #setMax(int)

-   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Max()

-   * @model

+   * @return the value of the '<em>Number</em>' containment reference.

+   * @see #setNumber(NumberSpecification)

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getTypeScope_Number()

+   * @model containment="true"

    * @generated

    */

-  int getMax();

+  NumberSpecification getNumber();

 

   /**

-   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getMax <em>Max</em>}' attribute.

+   * Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope#getNumber <em>Number</em>}' containment reference.

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

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

-   * @param value the new value of the '<em>Max</em>' attribute.

-   * @see #getMax()

+   * @param value the new value of the '<em>Number</em>' containment reference.

+   * @see #getNumber()

    * @generated

    */

-  void setMax(int value);

+  void setNumber(NumberSpecification value);

 

 } // TypeScope

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
index 465297bb..8ecf838a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
@@ -104,12 +104,23 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
       case ApplicationConfigurationPackage.CONFIG: return createConfig();

       case ApplicationConfigurationPackage.SCOPE_SPECIFICATION: return createScopeSpecification();

       case ApplicationConfigurationPackage.TYPE_SCOPE: return createTypeScope();

+      case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE: return createClassTypeScope();

+      case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE: return createObjectTypeScope();

+      case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE: return createIntegerTypeScope();

+      case ApplicationConfigurationPackage.REAL_TYPE_SCOPE: return createRealTypeScope();

+      case ApplicationConfigurationPackage.STRING_TYPE_SCOPE: return createStringTypeScope();

       case ApplicationConfigurationPackage.TYPE_REFERENCE: return createTypeReference();

       case ApplicationConfigurationPackage.CLASS_REFERENCE: return createClassReference();

       case ApplicationConfigurationPackage.OBJECT_REFERENCE: return createObjectReference();

       case ApplicationConfigurationPackage.INTEGER_REFERENCE: return createIntegerReference();

       case ApplicationConfigurationPackage.REAL_REFERENCE: return createRealReference();

       case ApplicationConfigurationPackage.STRING_REFERENCE: return createStringReference();

+      case ApplicationConfigurationPackage.NUMBER_SPECIFICATION: return createNumberSpecification();

+      case ApplicationConfigurationPackage.EXACT_NUMBER: return createExactNumber();

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER: return createIntervallNumber();

+      case ApplicationConfigurationPackage.INT_ENUMBERATION: return createIntEnumberation();

+      case ApplicationConfigurationPackage.REAL_ENUMERATION: return createRealEnumeration();

+      case ApplicationConfigurationPackage.STRING_ENUMERATION: return createStringEnumeration();

       case ApplicationConfigurationPackage.SCOPE_DECLARATION: return createScopeDeclaration();

       case ApplicationConfigurationPackage.SCOPE_REFERENCE: return createScopeReference();

       case ApplicationConfigurationPackage.SCOPE: return createScope();

@@ -580,6 +591,61 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  public ClassTypeScope createClassTypeScope()

+  {

+    ClassTypeScopeImpl classTypeScope = new ClassTypeScopeImpl();

+    return classTypeScope;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public ObjectTypeScope createObjectTypeScope()

+  {

+    ObjectTypeScopeImpl objectTypeScope = new ObjectTypeScopeImpl();

+    return objectTypeScope;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public IntegerTypeScope createIntegerTypeScope()

+  {

+    IntegerTypeScopeImpl integerTypeScope = new IntegerTypeScopeImpl();

+    return integerTypeScope;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public RealTypeScope createRealTypeScope()

+  {

+    RealTypeScopeImpl realTypeScope = new RealTypeScopeImpl();

+    return realTypeScope;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public StringTypeScope createStringTypeScope()

+  {

+    StringTypeScopeImpl stringTypeScope = new StringTypeScopeImpl();

+    return stringTypeScope;

+  }

+

+  /**

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

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

+   * @generated

+   */

   public TypeReference createTypeReference()

   {

     TypeReferenceImpl typeReference = new TypeReferenceImpl();

@@ -646,6 +712,72 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  public NumberSpecification createNumberSpecification()

+  {

+    NumberSpecificationImpl numberSpecification = new NumberSpecificationImpl();

+    return numberSpecification;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public ExactNumber createExactNumber()

+  {

+    ExactNumberImpl exactNumber = new ExactNumberImpl();

+    return exactNumber;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public IntervallNumber createIntervallNumber()

+  {

+    IntervallNumberImpl intervallNumber = new IntervallNumberImpl();

+    return intervallNumber;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public IntEnumberation createIntEnumberation()

+  {

+    IntEnumberationImpl intEnumberation = new IntEnumberationImpl();

+    return intEnumberation;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public RealEnumeration createRealEnumeration()

+  {

+    RealEnumerationImpl realEnumeration = new RealEnumerationImpl();

+    return realEnumeration;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public StringEnumeration createStringEnumeration()

+  {

+    StringEnumerationImpl stringEnumeration = new StringEnumerationImpl();

+    return stringEnumeration;

+  }

+

+  /**

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

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

+   * @generated

+   */

   public ScopeDeclaration createScopeDeclaration()

   {

     ScopeDeclarationImpl scopeDeclaration = new ScopeDeclarationImpl();

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
index ece5be15..dd103901 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
@@ -8,6 +8,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.AllPatter
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationFactory;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Command;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Config;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigDeclaration;

@@ -17,6 +18,7 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigSpe
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ConfigurationScript;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Declaration;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.EPackageImport;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.File;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileDeclaration;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.FileReference;

@@ -27,8 +29,11 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatt
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternDeclaration;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GraphPatternReference;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Import;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerScope;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelDeclaration;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelElement;

@@ -36,7 +41,9 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Metamodel
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelReference;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.MetamodelSpecification;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ModelEntry;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModel;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelDeclaration;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialModelEntry;

@@ -45,15 +52,19 @@ import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PartialMo
 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternElement;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternEntry;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.PatternSpecification;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealScope;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Scope;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeReference;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeSpecification;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringScope;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Task;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope;

@@ -349,6 +360,41 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  private EClass classTypeScopeEClass = null;

+

+  /**

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

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

+   * @generated

+   */

+  private EClass objectTypeScopeEClass = null;

+

+  /**

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

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

+   * @generated

+   */

+  private EClass integerTypeScopeEClass = null;

+

+  /**

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

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

+   * @generated

+   */

+  private EClass realTypeScopeEClass = null;

+

+  /**

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

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

+   * @generated

+   */

+  private EClass stringTypeScopeEClass = null;

+

+  /**

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

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

+   * @generated

+   */

   private EClass typeReferenceEClass = null;

 

   /**

@@ -391,6 +437,48 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  private EClass numberSpecificationEClass = null;

+

+  /**

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

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

+   * @generated

+   */

+  private EClass exactNumberEClass = null;

+

+  /**

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

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

+   * @generated

+   */

+  private EClass intervallNumberEClass = null;

+

+  /**

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

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

+   * @generated

+   */

+  private EClass intEnumberationEClass = null;

+

+  /**

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

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

+   * @generated

+   */

+  private EClass realEnumerationEClass = null;

+

+  /**

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

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

+   * @generated

+   */

+  private EClass stringEnumerationEClass = null;

+

+  /**

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

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

+   * @generated

+   */

   private EClass scopeDeclarationEClass = null;

 

   /**

@@ -1221,9 +1309,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EReference getTypeScope_Type()

+  public EAttribute getTypeScope_SetsNew()

   {

-    return (EReference)typeScopeEClass.getEStructuralFeatures().get(0);

+    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(0);

   }

 

   /**

@@ -1231,7 +1319,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EAttribute getTypeScope_SetsNew()

+  public EAttribute getTypeScope_SetsSum()

   {

     return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(1);

   }

@@ -1241,9 +1329,69 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EAttribute getTypeScope_SetsSum()

+  public EReference getTypeScope_Number()

+  {

+    return (EReference)typeScopeEClass.getEStructuralFeatures().get(2);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EClass getClassTypeScope()

+  {

+    return classTypeScopeEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EReference getClassTypeScope_Type()

+  {

+    return (EReference)classTypeScopeEClass.getEStructuralFeatures().get(0);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EClass getObjectTypeScope()

+  {

+    return objectTypeScopeEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EReference getObjectTypeScope_Type()

+  {

+    return (EReference)objectTypeScopeEClass.getEStructuralFeatures().get(0);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EClass getIntegerTypeScope()

+  {

+    return integerTypeScopeEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EReference getIntegerTypeScope_Type()

   {

-    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(2);

+    return (EReference)integerTypeScopeEClass.getEStructuralFeatures().get(0);

   }

 

   /**

@@ -1251,9 +1399,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EAttribute getTypeScope_Min()

+  public EClass getRealTypeScope()

   {

-    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(3);

+    return realTypeScopeEClass;

   }

 

   /**

@@ -1261,9 +1409,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EAttribute getTypeScope_MaxUnlimited()

+  public EReference getRealTypeScope_Type()

   {

-    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(4);

+    return (EReference)realTypeScopeEClass.getEStructuralFeatures().get(0);

   }

 

   /**

@@ -1271,9 +1419,19 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EAttribute getTypeScope_Max()

+  public EClass getStringTypeScope()

   {

-    return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(5);

+    return stringTypeScopeEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EReference getStringTypeScope_Type()

+  {

+    return (EReference)stringTypeScopeEClass.getEStructuralFeatures().get(0);

   }

 

   /**

@@ -1351,6 +1509,146 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  public EClass getNumberSpecification()

+  {

+    return numberSpecificationEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EClass getExactNumber()

+  {

+    return exactNumberEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EAttribute getExactNumber_ExactNumber()

+  {

+    return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(0);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EAttribute getExactNumber_ExactUnlimited()

+  {

+    return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(1);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EClass getIntervallNumber()

+  {

+    return intervallNumberEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EAttribute getIntervallNumber_Min()

+  {

+    return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(0);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EAttribute getIntervallNumber_MaxNumber()

+  {

+    return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(1);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EAttribute getIntervallNumber_MaxUnlimited()

+  {

+    return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(2);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EClass getIntEnumberation()

+  {

+    return intEnumberationEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EAttribute getIntEnumberation_Entry()

+  {

+    return (EAttribute)intEnumberationEClass.getEStructuralFeatures().get(0);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EClass getRealEnumeration()

+  {

+    return realEnumerationEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EAttribute getRealEnumeration_Entry()

+  {

+    return (EAttribute)realEnumerationEClass.getEStructuralFeatures().get(0);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EClass getStringEnumeration()

+  {

+    return stringEnumerationEClass;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EAttribute getStringEnumeration_Entry()

+  {

+    return (EAttribute)stringEnumerationEClass.getEStructuralFeatures().get(0);

+  }

+

+  /**

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

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

+   * @generated

+   */

   public EClass getScopeDeclaration()

   {

     return scopeDeclarationEClass;

@@ -1461,7 +1759,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EAttribute getGenerationTask_Number()

+  public EAttribute getGenerationTask_NumberSpecified()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(4);

   }

@@ -1471,7 +1769,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EAttribute getGenerationTask_Runs()

+  public EAttribute getGenerationTask_Number()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(5);

   }

@@ -1481,7 +1779,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EAttribute getGenerationTask_Solver()

+  public EAttribute getGenerationTask_RunSpecified()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(6);

   }

@@ -1491,9 +1789,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EReference getGenerationTask_Config()

+  public EAttribute getGenerationTask_Runs()

   {

-    return (EReference)generationTaskEClass.getEStructuralFeatures().get(7);

+    return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(7);

   }

 

   /**

@@ -1501,9 +1799,9 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EReference getGenerationTask_TagetFolder()

+  public EAttribute getGenerationTask_Solver()

   {

-    return (EReference)generationTaskEClass.getEStructuralFeatures().get(8);

+    return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(8);

   }

 

   /**

@@ -1511,7 +1809,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EReference getGenerationTask_DebugFolder()

+  public EReference getGenerationTask_Config()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(9);

   }

@@ -1521,7 +1819,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EReference getGenerationTask_TargetLogFile()

+  public EReference getGenerationTask_DebugFolder()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(10);

   }

@@ -1531,7 +1829,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

-  public EReference getGenerationTask_TargetStatisticsFile()

+  public EReference getGenerationTask_TargetLogFile()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(11);

   }

@@ -1541,6 +1839,26 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  public EReference getGenerationTask_TargetStatisticsFile()

+  {

+    return (EReference)generationTaskEClass.getEStructuralFeatures().get(12);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EReference getGenerationTask_TagetFolder()

+  {

+    return (EReference)generationTaskEClass.getEStructuralFeatures().get(13);

+  }

+

+  /**

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

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

+   * @generated

+   */

   public EClass getIntegerScope()

   {

     return integerScopeEClass;

@@ -1713,12 +2031,24 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     createEReference(scopeSpecificationEClass, SCOPE_SPECIFICATION__SCOPES);

 

     typeScopeEClass = createEClass(TYPE_SCOPE);

-    createEReference(typeScopeEClass, TYPE_SCOPE__TYPE);

     createEAttribute(typeScopeEClass, TYPE_SCOPE__SETS_NEW);

     createEAttribute(typeScopeEClass, TYPE_SCOPE__SETS_SUM);

-    createEAttribute(typeScopeEClass, TYPE_SCOPE__MIN);

-    createEAttribute(typeScopeEClass, TYPE_SCOPE__MAX_UNLIMITED);

-    createEAttribute(typeScopeEClass, TYPE_SCOPE__MAX);

+    createEReference(typeScopeEClass, TYPE_SCOPE__NUMBER);

+

+    classTypeScopeEClass = createEClass(CLASS_TYPE_SCOPE);

+    createEReference(classTypeScopeEClass, CLASS_TYPE_SCOPE__TYPE);

+

+    objectTypeScopeEClass = createEClass(OBJECT_TYPE_SCOPE);

+    createEReference(objectTypeScopeEClass, OBJECT_TYPE_SCOPE__TYPE);

+

+    integerTypeScopeEClass = createEClass(INTEGER_TYPE_SCOPE);

+    createEReference(integerTypeScopeEClass, INTEGER_TYPE_SCOPE__TYPE);

+

+    realTypeScopeEClass = createEClass(REAL_TYPE_SCOPE);

+    createEReference(realTypeScopeEClass, REAL_TYPE_SCOPE__TYPE);

+

+    stringTypeScopeEClass = createEClass(STRING_TYPE_SCOPE);

+    createEReference(stringTypeScopeEClass, STRING_TYPE_SCOPE__TYPE);

 

     typeReferenceEClass = createEClass(TYPE_REFERENCE);

 

@@ -1733,6 +2063,26 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
 

     stringReferenceEClass = createEClass(STRING_REFERENCE);

 

+    numberSpecificationEClass = createEClass(NUMBER_SPECIFICATION);

+

+    exactNumberEClass = createEClass(EXACT_NUMBER);

+    createEAttribute(exactNumberEClass, EXACT_NUMBER__EXACT_NUMBER);

+    createEAttribute(exactNumberEClass, EXACT_NUMBER__EXACT_UNLIMITED);

+

+    intervallNumberEClass = createEClass(INTERVALL_NUMBER);

+    createEAttribute(intervallNumberEClass, INTERVALL_NUMBER__MIN);

+    createEAttribute(intervallNumberEClass, INTERVALL_NUMBER__MAX_NUMBER);

+    createEAttribute(intervallNumberEClass, INTERVALL_NUMBER__MAX_UNLIMITED);

+

+    intEnumberationEClass = createEClass(INT_ENUMBERATION);

+    createEAttribute(intEnumberationEClass, INT_ENUMBERATION__ENTRY);

+

+    realEnumerationEClass = createEClass(REAL_ENUMERATION);

+    createEAttribute(realEnumerationEClass, REAL_ENUMERATION__ENTRY);

+

+    stringEnumerationEClass = createEClass(STRING_ENUMERATION);

+    createEAttribute(stringEnumerationEClass, STRING_ENUMERATION__ENTRY);

+

     scopeDeclarationEClass = createEClass(SCOPE_DECLARATION);

     createEReference(scopeDeclarationEClass, SCOPE_DECLARATION__SPECIFICATION);

 

@@ -1748,14 +2098,16 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     createEReference(generationTaskEClass, GENERATION_TASK__PARTIAL_MODEL);

     createEReference(generationTaskEClass, GENERATION_TASK__PATTERNS);

     createEReference(generationTaskEClass, GENERATION_TASK__SCOPE);

+    createEAttribute(generationTaskEClass, GENERATION_TASK__NUMBER_SPECIFIED);

     createEAttribute(generationTaskEClass, GENERATION_TASK__NUMBER);

+    createEAttribute(generationTaskEClass, GENERATION_TASK__RUN_SPECIFIED);

     createEAttribute(generationTaskEClass, GENERATION_TASK__RUNS);

     createEAttribute(generationTaskEClass, GENERATION_TASK__SOLVER);

     createEReference(generationTaskEClass, GENERATION_TASK__CONFIG);

-    createEReference(generationTaskEClass, GENERATION_TASK__TAGET_FOLDER);

     createEReference(generationTaskEClass, GENERATION_TASK__DEBUG_FOLDER);

     createEReference(generationTaskEClass, GENERATION_TASK__TARGET_LOG_FILE);

     createEReference(generationTaskEClass, GENERATION_TASK__TARGET_STATISTICS_FILE);

+    createEReference(generationTaskEClass, GENERATION_TASK__TAGET_FOLDER);

 

     integerScopeEClass = createEClass(INTEGER_SCOPE);

 

@@ -1825,11 +2177,21 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     configDeclarationEClass.getESuperTypes().add(this.getDeclaration());

     configReferenceEClass.getESuperTypes().add(this.getConfig());

     scopeSpecificationEClass.getESuperTypes().add(this.getScope());

+    classTypeScopeEClass.getESuperTypes().add(this.getTypeScope());

+    objectTypeScopeEClass.getESuperTypes().add(this.getTypeScope());

+    integerTypeScopeEClass.getESuperTypes().add(this.getTypeScope());

+    realTypeScopeEClass.getESuperTypes().add(this.getTypeScope());

+    stringTypeScopeEClass.getESuperTypes().add(this.getTypeScope());

     classReferenceEClass.getESuperTypes().add(this.getTypeReference());

     objectReferenceEClass.getESuperTypes().add(this.getTypeReference());

     integerReferenceEClass.getESuperTypes().add(this.getTypeReference());

     realReferenceEClass.getESuperTypes().add(this.getTypeReference());

     stringReferenceEClass.getESuperTypes().add(this.getTypeReference());

+    exactNumberEClass.getESuperTypes().add(this.getNumberSpecification());

+    intervallNumberEClass.getESuperTypes().add(this.getNumberSpecification());

+    intEnumberationEClass.getESuperTypes().add(this.getNumberSpecification());

+    realEnumerationEClass.getESuperTypes().add(this.getNumberSpecification());

+    stringEnumerationEClass.getESuperTypes().add(this.getNumberSpecification());

     scopeDeclarationEClass.getESuperTypes().add(this.getDeclaration());

     scopeReferenceEClass.getESuperTypes().add(this.getScope());

     taskEClass.getESuperTypes().add(this.getCommand());

@@ -1946,12 +2308,24 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     initEReference(getScopeSpecification_Scopes(), this.getTypeScope(), null, "scopes", null, 0, -1, ScopeSpecification.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

     initEClass(typeScopeEClass, TypeScope.class, "TypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

-    initEReference(getTypeScope_Type(), this.getTypeReference(), null, "type", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEAttribute(getTypeScope_SetsNew(), theEcorePackage.getEBoolean(), "setsNew", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEAttribute(getTypeScope_SetsSum(), theEcorePackage.getEBoolean(), "setsSum", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-    initEAttribute(getTypeScope_Min(), theEcorePackage.getEInt(), "min", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-    initEAttribute(getTypeScope_MaxUnlimited(), theEcorePackage.getEBoolean(), "maxUnlimited", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-    initEAttribute(getTypeScope_Max(), theEcorePackage.getEInt(), "max", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+    initEReference(getTypeScope_Number(), this.getNumberSpecification(), null, "number", null, 0, 1, TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+    initEClass(classTypeScopeEClass, ClassTypeScope.class, "ClassTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEReference(getClassTypeScope_Type(), this.getClassReference(), null, "type", null, 0, 1, ClassTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+    initEClass(objectTypeScopeEClass, ObjectTypeScope.class, "ObjectTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEReference(getObjectTypeScope_Type(), this.getObjectReference(), null, "type", null, 0, 1, ObjectTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+    initEClass(integerTypeScopeEClass, IntegerTypeScope.class, "IntegerTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEReference(getIntegerTypeScope_Type(), this.getIntegerReference(), null, "type", null, 0, 1, IntegerTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+    initEClass(realTypeScopeEClass, RealTypeScope.class, "RealTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEReference(getRealTypeScope_Type(), this.getRealReference(), null, "type", null, 0, 1, RealTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+    initEClass(stringTypeScopeEClass, StringTypeScope.class, "StringTypeScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEReference(getStringTypeScope_Type(), this.getStringReference(), null, "type", null, 0, 1, StringTypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

     initEClass(typeReferenceEClass, TypeReference.class, "TypeReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

 

@@ -1966,6 +2340,26 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
 

     initEClass(stringReferenceEClass, StringReference.class, "StringReference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

 

+    initEClass(numberSpecificationEClass, NumberSpecification.class, "NumberSpecification", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+

+    initEClass(exactNumberEClass, ExactNumber.class, "ExactNumber", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEAttribute(getExactNumber_ExactNumber(), theEcorePackage.getEInt(), "exactNumber", null, 0, 1, ExactNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+    initEAttribute(getExactNumber_ExactUnlimited(), theEcorePackage.getEBoolean(), "exactUnlimited", null, 0, 1, ExactNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+    initEClass(intervallNumberEClass, IntervallNumber.class, "IntervallNumber", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEAttribute(getIntervallNumber_Min(), theEcorePackage.getEInt(), "min", null, 0, 1, IntervallNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+    initEAttribute(getIntervallNumber_MaxNumber(), theEcorePackage.getEInt(), "maxNumber", null, 0, 1, IntervallNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+    initEAttribute(getIntervallNumber_MaxUnlimited(), theEcorePackage.getEBoolean(), "maxUnlimited", null, 0, 1, IntervallNumber.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+    initEClass(intEnumberationEClass, IntEnumberation.class, "IntEnumberation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEAttribute(getIntEnumberation_Entry(), theEcorePackage.getEInt(), "entry", null, 0, -1, IntEnumberation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+    initEClass(realEnumerationEClass, RealEnumeration.class, "RealEnumeration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEAttribute(getRealEnumeration_Entry(), theEcorePackage.getEInt(), "entry", null, 0, -1, RealEnumeration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

+    initEClass(stringEnumerationEClass, StringEnumeration.class, "StringEnumeration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

+    initEAttribute(getStringEnumeration_Entry(), theEcorePackage.getEString(), "entry", null, 0, -1, StringEnumeration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+

     initEClass(scopeDeclarationEClass, ScopeDeclaration.class, "ScopeDeclaration", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

     initEReference(getScopeDeclaration_Specification(), this.getScopeSpecification(), null, "specification", null, 0, 1, ScopeDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

@@ -1981,14 +2375,16 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     initEReference(getGenerationTask_PartialModel(), this.getPartialModel(), null, "partialModel", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEReference(getGenerationTask_Patterns(), this.getGraphPattern(), null, "patterns", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEReference(getGenerationTask_Scope(), this.getScope(), null, "scope", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+    initEAttribute(getGenerationTask_NumberSpecified(), theEcorePackage.getEBoolean(), "numberSpecified", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEAttribute(getGenerationTask_Number(), theEcorePackage.getEInt(), "number", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+    initEAttribute(getGenerationTask_RunSpecified(), theEcorePackage.getEBoolean(), "runSpecified", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEAttribute(getGenerationTask_Runs(), theEcorePackage.getEInt(), "runs", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEAttribute(getGenerationTask_Solver(), this.getSolver(), "solver", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEReference(getGenerationTask_Config(), this.getConfig(), null, "config", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

-    initEReference(getGenerationTask_TagetFolder(), this.getFile(), null, "tagetFolder", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEReference(getGenerationTask_DebugFolder(), this.getFile(), null, "debugFolder", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEReference(getGenerationTask_TargetLogFile(), this.getFile(), null, "targetLogFile", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

     initEReference(getGenerationTask_TargetStatisticsFile(), this.getFile(), null, "targetStatisticsFile", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

+    initEReference(getGenerationTask_TagetFolder(), this.getFile(), null, "tagetFolder", null, 0, 1, GenerationTask.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);

 

     initEClass(integerScopeEClass, IntegerScope.class, "IntegerScope", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java
new file mode 100644
index 00000000..ad6ab237
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassReference;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope;

+

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

+import org.eclipse.emf.common.notify.NotificationChain;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.InternalEObject;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+

+/**

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

+ * An implementation of the model object '<em><b>Class Type Scope</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ClassTypeScopeImpl#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class ClassTypeScopeImpl extends TypeScopeImpl implements ClassTypeScope

+{

+  /**

+   * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.

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

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

+   * @see #getType()

+   * @generated

+   * @ordered

+   */

+  protected ClassReference type;

+

+  /**

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

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

+   * @generated

+   */

+  protected ClassTypeScopeImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.CLASS_TYPE_SCOPE;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public ClassReference getType()

+  {

+    return type;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public NotificationChain basicSetType(ClassReference newType, NotificationChain msgs)

+  {

+    ClassReference oldType = type;

+    type = newType;

+    if (eNotificationRequired())

+    {

+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, oldType, newType);

+      if (msgs == null) msgs = notification; else msgs.add(notification);

+    }

+    return msgs;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setType(ClassReference newType)

+  {

+    if (newType != type)

+    {

+      NotificationChain msgs = null;

+      if (type != null)

+        msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, null, msgs);

+      if (newType != null)

+        msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, null, msgs);

+      msgs = basicSetType(newType, msgs);

+      if (msgs != null) msgs.dispatch();

+    }

+    else if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE, newType, newType));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:

+        return basicSetType(null, msgs);

+    }

+    return super.eInverseRemove(otherEnd, featureID, msgs);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:

+        return getType();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:

+        setType((ClassReference)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:

+        setType((ClassReference)null);

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE__TYPE:

+        return type != null;

+    }

+    return super.eIsSet(featureID);

+  }

+

+} //ClassTypeScopeImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
new file mode 100644
index 00000000..4a51e291
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
@@ -0,0 +1,233 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber;

+

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

+

+import org.eclipse.emf.ecore.EClass;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+

+/**

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

+ * An implementation of the model object '<em><b>Exact Number</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl#getExactNumber <em>Exact Number</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ExactNumberImpl#isExactUnlimited <em>Exact Unlimited</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNumber

+{

+  /**

+   * The default value of the '{@link #getExactNumber() <em>Exact Number</em>}' attribute.

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

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

+   * @see #getExactNumber()

+   * @generated

+   * @ordered

+   */

+  protected static final int EXACT_NUMBER_EDEFAULT = 0;

+

+  /**

+   * The cached value of the '{@link #getExactNumber() <em>Exact Number</em>}' attribute.

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

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

+   * @see #getExactNumber()

+   * @generated

+   * @ordered

+   */

+  protected int exactNumber = EXACT_NUMBER_EDEFAULT;

+

+  /**

+   * The default value of the '{@link #isExactUnlimited() <em>Exact Unlimited</em>}' attribute.

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

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

+   * @see #isExactUnlimited()

+   * @generated

+   * @ordered

+   */

+  protected static final boolean EXACT_UNLIMITED_EDEFAULT = false;

+

+  /**

+   * The cached value of the '{@link #isExactUnlimited() <em>Exact Unlimited</em>}' attribute.

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

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

+   * @see #isExactUnlimited()

+   * @generated

+   * @ordered

+   */

+  protected boolean exactUnlimited = EXACT_UNLIMITED_EDEFAULT;

+

+  /**

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

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

+   * @generated

+   */

+  protected ExactNumberImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.EXACT_NUMBER;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public int getExactNumber()

+  {

+    return exactNumber;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setExactNumber(int newExactNumber)

+  {

+    int oldExactNumber = exactNumber;

+    exactNumber = newExactNumber;

+    if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER, oldExactNumber, exactNumber));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public boolean isExactUnlimited()

+  {

+    return exactUnlimited;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setExactUnlimited(boolean newExactUnlimited)

+  {

+    boolean oldExactUnlimited = exactUnlimited;

+    exactUnlimited = newExactUnlimited;

+    if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED, oldExactUnlimited, exactUnlimited));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER:

+        return getExactNumber();

+      case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED:

+        return isExactUnlimited();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER:

+        setExactNumber((Integer)newValue);

+        return;

+      case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED:

+        setExactUnlimited((Boolean)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER:

+        setExactNumber(EXACT_NUMBER_EDEFAULT);

+        return;

+      case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED:

+        setExactUnlimited(EXACT_UNLIMITED_EDEFAULT);

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_NUMBER:

+        return exactNumber != EXACT_NUMBER_EDEFAULT;

+      case ApplicationConfigurationPackage.EXACT_NUMBER__EXACT_UNLIMITED:

+        return exactUnlimited != EXACT_UNLIMITED_EDEFAULT;

+    }

+    return super.eIsSet(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public String toString()

+  {

+    if (eIsProxy()) return super.toString();

+

+    StringBuffer result = new StringBuffer(super.toString());

+    result.append(" (exactNumber: ");

+    result.append(exactNumber);

+    result.append(", exactUnlimited: ");

+    result.append(exactUnlimited);

+    result.append(')');

+    return result.toString();

+  }

+

+} //ExactNumberImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
index a4c27c8d..7ce5ec94 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
@@ -33,14 +33,16 @@ import org.eclipse.emf.ecore.impl.ENotificationImpl;
  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getPartialModel <em>Partial Model</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getPatterns <em>Patterns</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getScope <em>Scope</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#isNumberSpecified <em>Number Specified</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getNumber <em>Number</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#isRunSpecified <em>Run Specified</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getRuns <em>Runs</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getSolver <em>Solver</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getConfig <em>Config</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTagetFolder <em>Taget Folder</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getDebugFolder <em>Debug Folder</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTargetLogFile <em>Target Log File</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTargetStatisticsFile <em>Target Statistics File</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.GenerationTaskImpl#getTagetFolder <em>Taget Folder</em>}</li>

  * </ul>

  *

  * @generated

@@ -88,6 +90,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
   protected Scope scope;

 

   /**

+   * The default value of the '{@link #isNumberSpecified() <em>Number Specified</em>}' attribute.

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

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

+   * @see #isNumberSpecified()

+   * @generated

+   * @ordered

+   */

+  protected static final boolean NUMBER_SPECIFIED_EDEFAULT = false;

+

+  /**

+   * The cached value of the '{@link #isNumberSpecified() <em>Number Specified</em>}' attribute.

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

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

+   * @see #isNumberSpecified()

+   * @generated

+   * @ordered

+   */

+  protected boolean numberSpecified = NUMBER_SPECIFIED_EDEFAULT;

+

+  /**

    * The default value of the '{@link #getNumber() <em>Number</em>}' attribute.

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

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

@@ -108,6 +130,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
   protected int number = NUMBER_EDEFAULT;

 

   /**

+   * The default value of the '{@link #isRunSpecified() <em>Run Specified</em>}' attribute.

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

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

+   * @see #isRunSpecified()

+   * @generated

+   * @ordered

+   */

+  protected static final boolean RUN_SPECIFIED_EDEFAULT = false;

+

+  /**

+   * The cached value of the '{@link #isRunSpecified() <em>Run Specified</em>}' attribute.

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

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

+   * @see #isRunSpecified()

+   * @generated

+   * @ordered

+   */

+  protected boolean runSpecified = RUN_SPECIFIED_EDEFAULT;

+

+  /**

    * The default value of the '{@link #getRuns() <em>Runs</em>}' attribute.

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

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

@@ -158,16 +200,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
   protected Config config;

 

   /**

-   * The cached value of the '{@link #getTagetFolder() <em>Taget Folder</em>}' containment reference.

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

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

-   * @see #getTagetFolder()

-   * @generated

-   * @ordered

-   */

-  protected File tagetFolder;

-

-  /**

    * The cached value of the '{@link #getDebugFolder() <em>Debug Folder</em>}' containment reference.

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

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

@@ -198,6 +230,16 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
   protected File targetStatisticsFile;

 

   /**

+   * The cached value of the '{@link #getTagetFolder() <em>Taget Folder</em>}' containment reference.

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

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

+   * @see #getTagetFolder()

+   * @generated

+   * @ordered

+   */

+  protected File tagetFolder;

+

+  /**

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

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

    * @generated

@@ -415,6 +457,29 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  public boolean isNumberSpecified()

+  {

+    return numberSpecified;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setNumberSpecified(boolean newNumberSpecified)

+  {

+    boolean oldNumberSpecified = numberSpecified;

+    numberSpecified = newNumberSpecified;

+    if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED, oldNumberSpecified, numberSpecified));

+  }

+

+  /**

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

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

+   * @generated

+   */

   public int getNumber()

   {

     return number;

@@ -438,6 +503,29 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  public boolean isRunSpecified()

+  {

+    return runSpecified;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setRunSpecified(boolean newRunSpecified)

+  {

+    boolean oldRunSpecified = runSpecified;

+    runSpecified = newRunSpecified;

+    if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED, oldRunSpecified, runSpecified));

+  }

+

+  /**

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

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

+   * @generated

+   */

   public int getRuns()

   {

     return runs;

@@ -532,54 +620,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

-  public File getTagetFolder()

-  {

-    return tagetFolder;

-  }

-

-  /**

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

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

-   * @generated

-   */

-  public NotificationChain basicSetTagetFolder(File newTagetFolder, NotificationChain msgs)

-  {

-    File oldTagetFolder = tagetFolder;

-    tagetFolder = newTagetFolder;

-    if (eNotificationRequired())

-    {

-      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, oldTagetFolder, newTagetFolder);

-      if (msgs == null) msgs = notification; else msgs.add(notification);

-    }

-    return msgs;

-  }

-

-  /**

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

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

-   * @generated

-   */

-  public void setTagetFolder(File newTagetFolder)

-  {

-    if (newTagetFolder != tagetFolder)

-    {

-      NotificationChain msgs = null;

-      if (tagetFolder != null)

-        msgs = ((InternalEObject)tagetFolder).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);

-      if (newTagetFolder != null)

-        msgs = ((InternalEObject)newTagetFolder).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);

-      msgs = basicSetTagetFolder(newTagetFolder, msgs);

-      if (msgs != null) msgs.dispatch();

-    }

-    else if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, newTagetFolder, newTagetFolder));

-  }

-

-  /**

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

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

-   * @generated

-   */

   public File getDebugFolder()

   {

     return debugFolder;

@@ -724,6 +764,54 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  public File getTagetFolder()

+  {

+    return tagetFolder;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public NotificationChain basicSetTagetFolder(File newTagetFolder, NotificationChain msgs)

+  {

+    File oldTagetFolder = tagetFolder;

+    tagetFolder = newTagetFolder;

+    if (eNotificationRequired())

+    {

+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, oldTagetFolder, newTagetFolder);

+      if (msgs == null) msgs = notification; else msgs.add(notification);

+    }

+    return msgs;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setTagetFolder(File newTagetFolder)

+  {

+    if (newTagetFolder != tagetFolder)

+    {

+      NotificationChain msgs = null;

+      if (tagetFolder != null)

+        msgs = ((InternalEObject)tagetFolder).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);

+      if (newTagetFolder != null)

+        msgs = ((InternalEObject)newTagetFolder).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, null, msgs);

+      msgs = basicSetTagetFolder(newTagetFolder, msgs);

+      if (msgs != null) msgs.dispatch();

+    }

+    else if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER, newTagetFolder, newTagetFolder));

+  }

+

+  /**

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

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

+   * @generated

+   */

   @Override

   public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)

   {

@@ -739,14 +827,14 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
         return basicSetScope(null, msgs);

       case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:

         return basicSetConfig(null, msgs);

-      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

-        return basicSetTagetFolder(null, msgs);

       case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:

         return basicSetDebugFolder(null, msgs);

       case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:

         return basicSetTargetLogFile(null, msgs);

       case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:

         return basicSetTargetStatisticsFile(null, msgs);

+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

+        return basicSetTagetFolder(null, msgs);

     }

     return super.eInverseRemove(otherEnd, featureID, msgs);

   }

@@ -769,22 +857,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
         return getPatterns();

       case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:

         return getScope();

+      case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED:

+        return isNumberSpecified();

       case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:

         return getNumber();

+      case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED:

+        return isRunSpecified();

       case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:

         return getRuns();

       case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER:

         return getSolver();

       case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:

         return getConfig();

-      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

-        return getTagetFolder();

       case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:

         return getDebugFolder();

       case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:

         return getTargetLogFile();

       case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:

         return getTargetStatisticsFile();

+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

+        return getTagetFolder();

     }

     return super.eGet(featureID, resolve, coreType);

   }

@@ -811,9 +903,15 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
       case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:

         setScope((Scope)newValue);

         return;

+      case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED:

+        setNumberSpecified((Boolean)newValue);

+        return;

       case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:

         setNumber((Integer)newValue);

         return;

+      case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED:

+        setRunSpecified((Boolean)newValue);

+        return;

       case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:

         setRuns((Integer)newValue);

         return;

@@ -823,9 +921,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
       case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:

         setConfig((Config)newValue);

         return;

-      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

-        setTagetFolder((File)newValue);

-        return;

       case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:

         setDebugFolder((File)newValue);

         return;

@@ -835,6 +930,9 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
       case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:

         setTargetStatisticsFile((File)newValue);

         return;

+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

+        setTagetFolder((File)newValue);

+        return;

     }

     super.eSet(featureID, newValue);

   }

@@ -861,9 +959,15 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
       case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:

         setScope((Scope)null);

         return;

+      case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED:

+        setNumberSpecified(NUMBER_SPECIFIED_EDEFAULT);

+        return;

       case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:

         setNumber(NUMBER_EDEFAULT);

         return;

+      case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED:

+        setRunSpecified(RUN_SPECIFIED_EDEFAULT);

+        return;

       case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:

         setRuns(RUNS_EDEFAULT);

         return;

@@ -873,9 +977,6 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
       case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:

         setConfig((Config)null);

         return;

-      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

-        setTagetFolder((File)null);

-        return;

       case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:

         setDebugFolder((File)null);

         return;

@@ -885,6 +986,9 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
       case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:

         setTargetStatisticsFile((File)null);

         return;

+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

+        setTagetFolder((File)null);

+        return;

     }

     super.eUnset(featureID);

   }

@@ -907,22 +1011,26 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
         return patterns != null;

       case ApplicationConfigurationPackage.GENERATION_TASK__SCOPE:

         return scope != null;

+      case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER_SPECIFIED:

+        return numberSpecified != NUMBER_SPECIFIED_EDEFAULT;

       case ApplicationConfigurationPackage.GENERATION_TASK__NUMBER:

         return number != NUMBER_EDEFAULT;

+      case ApplicationConfigurationPackage.GENERATION_TASK__RUN_SPECIFIED:

+        return runSpecified != RUN_SPECIFIED_EDEFAULT;

       case ApplicationConfigurationPackage.GENERATION_TASK__RUNS:

         return runs != RUNS_EDEFAULT;

       case ApplicationConfigurationPackage.GENERATION_TASK__SOLVER:

         return solver != SOLVER_EDEFAULT;

       case ApplicationConfigurationPackage.GENERATION_TASK__CONFIG:

         return config != null;

-      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

-        return tagetFolder != null;

       case ApplicationConfigurationPackage.GENERATION_TASK__DEBUG_FOLDER:

         return debugFolder != null;

       case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_LOG_FILE:

         return targetLogFile != null;

       case ApplicationConfigurationPackage.GENERATION_TASK__TARGET_STATISTICS_FILE:

         return targetStatisticsFile != null;

+      case ApplicationConfigurationPackage.GENERATION_TASK__TAGET_FOLDER:

+        return tagetFolder != null;

     }

     return super.eIsSet(featureID);

   }

@@ -938,8 +1046,12 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
     if (eIsProxy()) return super.toString();

 

     StringBuffer result = new StringBuffer(super.toString());

-    result.append(" (number: ");

+    result.append(" (numberSpecified: ");

+    result.append(numberSpecified);

+    result.append(", number: ");

     result.append(number);

+    result.append(", runSpecified: ");

+    result.append(runSpecified);

     result.append(", runs: ");

     result.append(runs);

     result.append(", solver: ");

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java
new file mode 100644
index 00000000..bf59967e
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java
@@ -0,0 +1,162 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation;

+

+import java.util.Collection;

+

+import org.eclipse.emf.common.util.EList;

+

+import org.eclipse.emf.ecore.EClass;

+

+import org.eclipse.emf.ecore.util.EDataTypeEList;

+

+/**

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

+ * An implementation of the model object '<em><b>Int Enumberation</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntEnumberationImpl#getEntry <em>Entry</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class IntEnumberationImpl extends NumberSpecificationImpl implements IntEnumberation

+{

+  /**

+   * The cached value of the '{@link #getEntry() <em>Entry</em>}' attribute list.

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

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

+   * @see #getEntry()

+   * @generated

+   * @ordered

+   */

+  protected EList<Integer> entry;

+

+  /**

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

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

+   * @generated

+   */

+  protected IntEnumberationImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.INT_ENUMBERATION;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EList<Integer> getEntry()

+  {

+    if (entry == null)

+    {

+      entry = new EDataTypeEList<Integer>(Integer.class, this, ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY);

+    }

+    return entry;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY:

+        return getEntry();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @SuppressWarnings("unchecked")

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY:

+        getEntry().clear();

+        getEntry().addAll((Collection<? extends Integer>)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY:

+        getEntry().clear();

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INT_ENUMBERATION__ENTRY:

+        return entry != null && !entry.isEmpty();

+    }

+    return super.eIsSet(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public String toString()

+  {

+    if (eIsProxy()) return super.toString();

+

+    StringBuffer result = new StringBuffer(super.toString());

+    result.append(" (entry: ");

+    result.append(entry);

+    result.append(')');

+    return result.toString();

+  }

+

+} //IntEnumberationImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java
new file mode 100644
index 00000000..644eb55c
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerReference;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope;

+

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

+import org.eclipse.emf.common.notify.NotificationChain;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.InternalEObject;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+

+/**

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

+ * An implementation of the model object '<em><b>Integer Type Scope</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntegerTypeScopeImpl#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class IntegerTypeScopeImpl extends TypeScopeImpl implements IntegerTypeScope

+{

+  /**

+   * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.

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

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

+   * @see #getType()

+   * @generated

+   * @ordered

+   */

+  protected IntegerReference type;

+

+  /**

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

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

+   * @generated

+   */

+  protected IntegerTypeScopeImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.INTEGER_TYPE_SCOPE;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public IntegerReference getType()

+  {

+    return type;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public NotificationChain basicSetType(IntegerReference newType, NotificationChain msgs)

+  {

+    IntegerReference oldType = type;

+    type = newType;

+    if (eNotificationRequired())

+    {

+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE, oldType, newType);

+      if (msgs == null) msgs = notification; else msgs.add(notification);

+    }

+    return msgs;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setType(IntegerReference newType)

+  {

+    if (newType != type)

+    {

+      NotificationChain msgs = null;

+      if (type != null)

+        msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE, null, msgs);

+      if (newType != null)

+        msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE, null, msgs);

+      msgs = basicSetType(newType, msgs);

+      if (msgs != null) msgs.dispatch();

+    }

+    else if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE, newType, newType));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:

+        return basicSetType(null, msgs);

+    }

+    return super.eInverseRemove(otherEnd, featureID, msgs);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:

+        return getType();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:

+        setType((IntegerReference)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:

+        setType((IntegerReference)null);

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE__TYPE:

+        return type != null;

+    }

+    return super.eIsSet(featureID);

+  }

+

+} //IntegerTypeScopeImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
new file mode 100644
index 00000000..6079cc3a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
@@ -0,0 +1,289 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber;

+

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

+

+import org.eclipse.emf.ecore.EClass;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+

+/**

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

+ * An implementation of the model object '<em><b>Intervall Number</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#getMin <em>Min</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#getMaxNumber <em>Max Number</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.IntervallNumberImpl#isMaxUnlimited <em>Max Unlimited</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class IntervallNumberImpl extends NumberSpecificationImpl implements IntervallNumber

+{

+  /**

+   * The default value of the '{@link #getMin() <em>Min</em>}' attribute.

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

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

+   * @see #getMin()

+   * @generated

+   * @ordered

+   */

+  protected static final int MIN_EDEFAULT = 0;

+

+  /**

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

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

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

+   * @see #getMin()

+   * @generated

+   * @ordered

+   */

+  protected int min = MIN_EDEFAULT;

+

+  /**

+   * The default value of the '{@link #getMaxNumber() <em>Max Number</em>}' attribute.

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

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

+   * @see #getMaxNumber()

+   * @generated

+   * @ordered

+   */

+  protected static final int MAX_NUMBER_EDEFAULT = 0;

+

+  /**

+   * The cached value of the '{@link #getMaxNumber() <em>Max Number</em>}' attribute.

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

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

+   * @see #getMaxNumber()

+   * @generated

+   * @ordered

+   */

+  protected int maxNumber = MAX_NUMBER_EDEFAULT;

+

+  /**

+   * The default value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute.

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

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

+   * @see #isMaxUnlimited()

+   * @generated

+   * @ordered

+   */

+  protected static final boolean MAX_UNLIMITED_EDEFAULT = false;

+

+  /**

+   * The cached value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute.

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

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

+   * @see #isMaxUnlimited()

+   * @generated

+   * @ordered

+   */

+  protected boolean maxUnlimited = MAX_UNLIMITED_EDEFAULT;

+

+  /**

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

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

+   * @generated

+   */

+  protected IntervallNumberImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.INTERVALL_NUMBER;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public int getMin()

+  {

+    return min;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setMin(int newMin)

+  {

+    int oldMin = min;

+    min = newMin;

+    if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN, oldMin, min));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public int getMaxNumber()

+  {

+    return maxNumber;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setMaxNumber(int newMaxNumber)

+  {

+    int oldMaxNumber = maxNumber;

+    maxNumber = newMaxNumber;

+    if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER, oldMaxNumber, maxNumber));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public boolean isMaxUnlimited()

+  {

+    return maxUnlimited;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setMaxUnlimited(boolean newMaxUnlimited)

+  {

+    boolean oldMaxUnlimited = maxUnlimited;

+    maxUnlimited = newMaxUnlimited;

+    if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED, oldMaxUnlimited, maxUnlimited));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN:

+        return getMin();

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER:

+        return getMaxNumber();

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED:

+        return isMaxUnlimited();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN:

+        setMin((Integer)newValue);

+        return;

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER:

+        setMaxNumber((Integer)newValue);

+        return;

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED:

+        setMaxUnlimited((Boolean)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN:

+        setMin(MIN_EDEFAULT);

+        return;

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER:

+        setMaxNumber(MAX_NUMBER_EDEFAULT);

+        return;

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED:

+        setMaxUnlimited(MAX_UNLIMITED_EDEFAULT);

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MIN:

+        return min != MIN_EDEFAULT;

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_NUMBER:

+        return maxNumber != MAX_NUMBER_EDEFAULT;

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER__MAX_UNLIMITED:

+        return maxUnlimited != MAX_UNLIMITED_EDEFAULT;

+    }

+    return super.eIsSet(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public String toString()

+  {

+    if (eIsProxy()) return super.toString();

+

+    StringBuffer result = new StringBuffer(super.toString());

+    result.append(" (min: ");

+    result.append(min);

+    result.append(", maxNumber: ");

+    result.append(maxNumber);

+    result.append(", maxUnlimited: ");

+    result.append(maxUnlimited);

+    result.append(')');

+    return result.toString();

+  }

+

+} //IntervallNumberImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java
new file mode 100644
index 00000000..b10ce009
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java
@@ -0,0 +1,43 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification;

+

+import org.eclipse.emf.ecore.EClass;

+

+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;

+

+/**

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

+ * An implementation of the model object '<em><b>Number Specification</b></em>'.

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

+ *

+ * @generated

+ */

+public class NumberSpecificationImpl extends MinimalEObjectImpl.Container implements NumberSpecification

+{

+  /**

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

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

+   * @generated

+   */

+  protected NumberSpecificationImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.NUMBER_SPECIFICATION;

+  }

+

+} //NumberSpecificationImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java
new file mode 100644
index 00000000..738ad0e2
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectReference;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope;

+

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

+import org.eclipse.emf.common.notify.NotificationChain;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.InternalEObject;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+

+/**

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

+ * An implementation of the model object '<em><b>Object Type Scope</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.ObjectTypeScopeImpl#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class ObjectTypeScopeImpl extends TypeScopeImpl implements ObjectTypeScope

+{

+  /**

+   * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.

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

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

+   * @see #getType()

+   * @generated

+   * @ordered

+   */

+  protected ObjectReference type;

+

+  /**

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

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

+   * @generated

+   */

+  protected ObjectTypeScopeImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.OBJECT_TYPE_SCOPE;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public ObjectReference getType()

+  {

+    return type;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public NotificationChain basicSetType(ObjectReference newType, NotificationChain msgs)

+  {

+    ObjectReference oldType = type;

+    type = newType;

+    if (eNotificationRequired())

+    {

+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE, oldType, newType);

+      if (msgs == null) msgs = notification; else msgs.add(notification);

+    }

+    return msgs;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setType(ObjectReference newType)

+  {

+    if (newType != type)

+    {

+      NotificationChain msgs = null;

+      if (type != null)

+        msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE, null, msgs);

+      if (newType != null)

+        msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE, null, msgs);

+      msgs = basicSetType(newType, msgs);

+      if (msgs != null) msgs.dispatch();

+    }

+    else if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE, newType, newType));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:

+        return basicSetType(null, msgs);

+    }

+    return super.eInverseRemove(otherEnd, featureID, msgs);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:

+        return getType();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:

+        setType((ObjectReference)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:

+        setType((ObjectReference)null);

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE__TYPE:

+        return type != null;

+    }

+    return super.eIsSet(featureID);

+  }

+

+} //ObjectTypeScopeImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java
new file mode 100644
index 00000000..0025b61a
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java
@@ -0,0 +1,162 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration;

+

+import java.util.Collection;

+

+import org.eclipse.emf.common.util.EList;

+

+import org.eclipse.emf.ecore.EClass;

+

+import org.eclipse.emf.ecore.util.EDataTypeEList;

+

+/**

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

+ * An implementation of the model object '<em><b>Real Enumeration</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealEnumerationImpl#getEntry <em>Entry</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class RealEnumerationImpl extends NumberSpecificationImpl implements RealEnumeration

+{

+  /**

+   * The cached value of the '{@link #getEntry() <em>Entry</em>}' attribute list.

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

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

+   * @see #getEntry()

+   * @generated

+   * @ordered

+   */

+  protected EList<Integer> entry;

+

+  /**

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

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

+   * @generated

+   */

+  protected RealEnumerationImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.REAL_ENUMERATION;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EList<Integer> getEntry()

+  {

+    if (entry == null)

+    {

+      entry = new EDataTypeEList<Integer>(Integer.class, this, ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY);

+    }

+    return entry;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY:

+        return getEntry();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @SuppressWarnings("unchecked")

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY:

+        getEntry().clear();

+        getEntry().addAll((Collection<? extends Integer>)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY:

+        getEntry().clear();

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.REAL_ENUMERATION__ENTRY:

+        return entry != null && !entry.isEmpty();

+    }

+    return super.eIsSet(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public String toString()

+  {

+    if (eIsProxy()) return super.toString();

+

+    StringBuffer result = new StringBuffer(super.toString());

+    result.append(" (entry: ");

+    result.append(entry);

+    result.append(')');

+    return result.toString();

+  }

+

+} //RealEnumerationImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java
new file mode 100644
index 00000000..91cdf9e4
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealReference;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope;

+

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

+import org.eclipse.emf.common.notify.NotificationChain;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.InternalEObject;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+

+/**

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

+ * An implementation of the model object '<em><b>Real Type Scope</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.RealTypeScopeImpl#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class RealTypeScopeImpl extends TypeScopeImpl implements RealTypeScope

+{

+  /**

+   * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.

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

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

+   * @see #getType()

+   * @generated

+   * @ordered

+   */

+  protected RealReference type;

+

+  /**

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

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

+   * @generated

+   */

+  protected RealTypeScopeImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.REAL_TYPE_SCOPE;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public RealReference getType()

+  {

+    return type;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public NotificationChain basicSetType(RealReference newType, NotificationChain msgs)

+  {

+    RealReference oldType = type;

+    type = newType;

+    if (eNotificationRequired())

+    {

+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE, oldType, newType);

+      if (msgs == null) msgs = notification; else msgs.add(notification);

+    }

+    return msgs;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setType(RealReference newType)

+  {

+    if (newType != type)

+    {

+      NotificationChain msgs = null;

+      if (type != null)

+        msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE, null, msgs);

+      if (newType != null)

+        msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE, null, msgs);

+      msgs = basicSetType(newType, msgs);

+      if (msgs != null) msgs.dispatch();

+    }

+    else if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE, newType, newType));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:

+        return basicSetType(null, msgs);

+    }

+    return super.eInverseRemove(otherEnd, featureID, msgs);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:

+        return getType();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:

+        setType((RealReference)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:

+        setType((RealReference)null);

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.REAL_TYPE_SCOPE__TYPE:

+        return type != null;

+    }

+    return super.eIsSet(featureID);

+  }

+

+} //RealTypeScopeImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java
new file mode 100644
index 00000000..7cd6f6f2
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java
@@ -0,0 +1,162 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration;

+

+import java.util.Collection;

+

+import org.eclipse.emf.common.util.EList;

+

+import org.eclipse.emf.ecore.EClass;

+

+import org.eclipse.emf.ecore.util.EDataTypeEList;

+

+/**

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

+ * An implementation of the model object '<em><b>String Enumeration</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringEnumerationImpl#getEntry <em>Entry</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class StringEnumerationImpl extends NumberSpecificationImpl implements StringEnumeration

+{

+  /**

+   * The cached value of the '{@link #getEntry() <em>Entry</em>}' attribute list.

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

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

+   * @see #getEntry()

+   * @generated

+   * @ordered

+   */

+  protected EList<String> entry;

+

+  /**

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

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

+   * @generated

+   */

+  protected StringEnumerationImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.STRING_ENUMERATION;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public EList<String> getEntry()

+  {

+    if (entry == null)

+    {

+      entry = new EDataTypeEList<String>(String.class, this, ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY);

+    }

+    return entry;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY:

+        return getEntry();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @SuppressWarnings("unchecked")

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY:

+        getEntry().clear();

+        getEntry().addAll((Collection<? extends String>)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY:

+        getEntry().clear();

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.STRING_ENUMERATION__ENTRY:

+        return entry != null && !entry.isEmpty();

+    }

+    return super.eIsSet(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public String toString()

+  {

+    if (eIsProxy()) return super.toString();

+

+    StringBuffer result = new StringBuffer(super.toString());

+    result.append(" (entry: ");

+    result.append(entry);

+    result.append(')');

+    return result.toString();

+  }

+

+} //StringEnumerationImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java
new file mode 100644
index 00000000..6d6c41de
--- /dev/null
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java
@@ -0,0 +1,194 @@
+/**

+ * generated by Xtext 2.10.0

+ */

+package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

+

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringReference;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope;

+

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

+import org.eclipse.emf.common.notify.NotificationChain;

+

+import org.eclipse.emf.ecore.EClass;

+import org.eclipse.emf.ecore.InternalEObject;

+

+import org.eclipse.emf.ecore.impl.ENotificationImpl;

+

+/**

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

+ * An implementation of the model object '<em><b>String Type Scope</b></em>'.

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

+ * <p>

+ * The following features are implemented:

+ * </p>

+ * <ul>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.StringTypeScopeImpl#getType <em>Type</em>}</li>

+ * </ul>

+ *

+ * @generated

+ */

+public class StringTypeScopeImpl extends TypeScopeImpl implements StringTypeScope

+{

+  /**

+   * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.

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

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

+   * @see #getType()

+   * @generated

+   * @ordered

+   */

+  protected StringReference type;

+

+  /**

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

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

+   * @generated

+   */

+  protected StringTypeScopeImpl()

+  {

+    super();

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  protected EClass eStaticClass()

+  {

+    return ApplicationConfigurationPackage.Literals.STRING_TYPE_SCOPE;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public StringReference getType()

+  {

+    return type;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public NotificationChain basicSetType(StringReference newType, NotificationChain msgs)

+  {

+    StringReference oldType = type;

+    type = newType;

+    if (eNotificationRequired())

+    {

+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, oldType, newType);

+      if (msgs == null) msgs = notification; else msgs.add(notification);

+    }

+    return msgs;

+  }

+

+  /**

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

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

+   * @generated

+   */

+  public void setType(StringReference newType)

+  {

+    if (newType != type)

+    {

+      NotificationChain msgs = null;

+      if (type != null)

+        msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, null, msgs);

+      if (newType != null)

+        msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, null, msgs);

+      msgs = basicSetType(newType, msgs);

+      if (msgs != null) msgs.dispatch();

+    }

+    else if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE, newType, newType));

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:

+        return basicSetType(null, msgs);

+    }

+    return super.eInverseRemove(otherEnd, featureID, msgs);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public Object eGet(int featureID, boolean resolve, boolean coreType)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:

+        return getType();

+    }

+    return super.eGet(featureID, resolve, coreType);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eSet(int featureID, Object newValue)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:

+        setType((StringReference)newValue);

+        return;

+    }

+    super.eSet(featureID, newValue);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public void eUnset(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:

+        setType((StringReference)null);

+        return;

+    }

+    super.eUnset(featureID);

+  }

+

+  /**

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

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

+   * @generated

+   */

+  @Override

+  public boolean eIsSet(int featureID)

+  {

+    switch (featureID)

+    {

+      case ApplicationConfigurationPackage.STRING_TYPE_SCOPE__TYPE:

+        return type != null;

+    }

+    return super.eIsSet(featureID);

+  }

+

+} //StringTypeScopeImpl

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
index 0cc0e0bf..cbce6d18 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
@@ -4,7 +4,7 @@
 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage;

-import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference;

+import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification;

 import hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeScope;

 

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

@@ -24,12 +24,9 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
  * The following features are implemented:

  * </p>

  * <ul>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getType <em>Type</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isSetsNew <em>Sets New</em>}</li>

  *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isSetsSum <em>Sets Sum</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getMin <em>Min</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#isMaxUnlimited <em>Max Unlimited</em>}</li>

- *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getMax <em>Max</em>}</li>

+ *   <li>{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl.TypeScopeImpl#getNumber <em>Number</em>}</li>

  * </ul>

  *

  * @generated

@@ -37,16 +34,6 @@ import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
 public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeScope

 {

   /**

-   * The cached value of the '{@link #getType() <em>Type</em>}' containment reference.

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

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

-   * @see #getType()

-   * @generated

-   * @ordered

-   */

-  protected TypeReference type;

-

-  /**

    * The default value of the '{@link #isSetsNew() <em>Sets New</em>}' attribute.

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

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

@@ -87,64 +74,14 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
   protected boolean setsSum = SETS_SUM_EDEFAULT;

 

   /**

-   * The default value of the '{@link #getMin() <em>Min</em>}' attribute.

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

-   * <!-- end-user-doc -->

-   * @see #getMin()

-   * @generated

-   * @ordered

-   */

-  protected static final int MIN_EDEFAULT = 0;

-

-  /**

-   * The cached value of the '{@link #getMin() <em>Min</em>}' attribute.

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @see #getMin()

-   * @generated

-   * @ordered

-   */

-  protected int min = MIN_EDEFAULT;

-

-  /**

-   * The default value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute.

+   * The cached value of the '{@link #getNumber() <em>Number</em>}' containment reference.

    * <!-- begin-user-doc -->

    * <!-- end-user-doc -->

-   * @see #isMaxUnlimited()

+   * @see #getNumber()

    * @generated

    * @ordered

    */

-  protected static final boolean MAX_UNLIMITED_EDEFAULT = false;

-

-  /**

-   * The cached value of the '{@link #isMaxUnlimited() <em>Max Unlimited</em>}' attribute.

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @see #isMaxUnlimited()

-   * @generated

-   * @ordered

-   */

-  protected boolean maxUnlimited = MAX_UNLIMITED_EDEFAULT;

-

-  /**

-   * The default value of the '{@link #getMax() <em>Max</em>}' attribute.

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @see #getMax()

-   * @generated

-   * @ordered

-   */

-  protected static final int MAX_EDEFAULT = 0;

-

-  /**

-   * The cached value of the '{@link #getMax() <em>Max</em>}' attribute.

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @see #getMax()

-   * @generated

-   * @ordered

-   */

-  protected int max = MAX_EDEFAULT;

+  protected NumberSpecification number;

 

   /**

    * <!-- begin-user-doc -->

@@ -172,54 +109,6 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

-  public TypeReference getType()

-  {

-    return type;

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  public NotificationChain basicSetType(TypeReference newType, NotificationChain msgs)

-  {

-    TypeReference oldType = type;

-    type = newType;

-    if (eNotificationRequired())

-    {

-      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, oldType, newType);

-      if (msgs == null) msgs = notification; else msgs.add(notification);

-    }

-    return msgs;

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  public void setType(TypeReference newType)

-  {

-    if (newType != type)

-    {

-      NotificationChain msgs = null;

-      if (type != null)

-        msgs = ((InternalEObject)type).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, null, msgs);

-      if (newType != null)

-        msgs = ((InternalEObject)newType).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, null, msgs);

-      msgs = basicSetType(newType, msgs);

-      if (msgs != null) msgs.dispatch();

-    }

-    else if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__TYPE, newType, newType));

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

   public boolean isSetsNew()

   {

     return setsNew;

@@ -266,32 +155,9 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

-  public int getMin()

-  {

-    return min;

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  public void setMin(int newMin)

-  {

-    int oldMin = min;

-    min = newMin;

-    if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MIN, oldMin, min));

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  public boolean isMaxUnlimited()

+  public NumberSpecification getNumber()

   {

-    return maxUnlimited;

+    return number;

   }

 

   /**

@@ -299,22 +165,16 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

-  public void setMaxUnlimited(boolean newMaxUnlimited)

+  public NotificationChain basicSetNumber(NumberSpecification newNumber, NotificationChain msgs)

   {

-    boolean oldMaxUnlimited = maxUnlimited;

-    maxUnlimited = newMaxUnlimited;

+    NumberSpecification oldNumber = number;

+    number = newNumber;

     if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED, oldMaxUnlimited, maxUnlimited));

-  }

-

-  /**

-   * <!-- begin-user-doc -->

-   * <!-- end-user-doc -->

-   * @generated

-   */

-  public int getMax()

-  {

-    return max;

+    {

+      ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, oldNumber, newNumber);

+      if (msgs == null) msgs = notification; else msgs.add(notification);

+    }

+    return msgs;

   }

 

   /**

@@ -322,12 +182,20 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

-  public void setMax(int newMax)

+  public void setNumber(NumberSpecification newNumber)

   {

-    int oldMax = max;

-    max = newMax;

-    if (eNotificationRequired())

-      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__MAX, oldMax, max));

+    if (newNumber != number)

+    {

+      NotificationChain msgs = null;

+      if (number != null)

+        msgs = ((InternalEObject)number).eInverseRemove(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs);

+      if (newNumber != null)

+        msgs = ((InternalEObject)newNumber).eInverseAdd(this, EOPPOSITE_FEATURE_BASE - ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, null, msgs);

+      msgs = basicSetNumber(newNumber, msgs);

+      if (msgs != null) msgs.dispatch();

+    }

+    else if (eNotificationRequired())

+      eNotify(new ENotificationImpl(this, Notification.SET, ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER, newNumber, newNumber));

   }

 

   /**

@@ -340,8 +208,8 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
   {

     switch (featureID)

     {

-      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:

-        return basicSetType(null, msgs);

+      case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:

+        return basicSetNumber(null, msgs);

     }

     return super.eInverseRemove(otherEnd, featureID, msgs);

   }

@@ -356,18 +224,12 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
   {

     switch (featureID)

     {

-      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:

-        return getType();

       case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:

         return isSetsNew();

       case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:

         return isSetsSum();

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:

-        return getMin();

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:

-        return isMaxUnlimited();

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:

-        return getMax();

+      case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:

+        return getNumber();

     }

     return super.eGet(featureID, resolve, coreType);

   }

@@ -382,23 +244,14 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
   {

     switch (featureID)

     {

-      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:

-        setType((TypeReference)newValue);

-        return;

       case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:

         setSetsNew((Boolean)newValue);

         return;

       case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:

         setSetsSum((Boolean)newValue);

         return;

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:

-        setMin((Integer)newValue);

-        return;

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:

-        setMaxUnlimited((Boolean)newValue);

-        return;

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:

-        setMax((Integer)newValue);

+      case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:

+        setNumber((NumberSpecification)newValue);

         return;

     }

     super.eSet(featureID, newValue);

@@ -414,23 +267,14 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
   {

     switch (featureID)

     {

-      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:

-        setType((TypeReference)null);

-        return;

       case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:

         setSetsNew(SETS_NEW_EDEFAULT);

         return;

       case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:

         setSetsSum(SETS_SUM_EDEFAULT);

         return;

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:

-        setMin(MIN_EDEFAULT);

-        return;

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:

-        setMaxUnlimited(MAX_UNLIMITED_EDEFAULT);

-        return;

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:

-        setMax(MAX_EDEFAULT);

+      case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:

+        setNumber((NumberSpecification)null);

         return;

     }

     super.eUnset(featureID);

@@ -446,18 +290,12 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
   {

     switch (featureID)

     {

-      case ApplicationConfigurationPackage.TYPE_SCOPE__TYPE:

-        return type != null;

       case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_NEW:

         return setsNew != SETS_NEW_EDEFAULT;

       case ApplicationConfigurationPackage.TYPE_SCOPE__SETS_SUM:

         return setsSum != SETS_SUM_EDEFAULT;

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MIN:

-        return min != MIN_EDEFAULT;

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX_UNLIMITED:

-        return maxUnlimited != MAX_UNLIMITED_EDEFAULT;

-      case ApplicationConfigurationPackage.TYPE_SCOPE__MAX:

-        return max != MAX_EDEFAULT;

+      case ApplicationConfigurationPackage.TYPE_SCOPE__NUMBER:

+        return number != null;

     }

     return super.eIsSet(featureID);

   }

@@ -477,12 +315,6 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
     result.append(setsNew);

     result.append(", setsSum: ");

     result.append(setsSum);

-    result.append(", min: ");

-    result.append(min);

-    result.append(", maxUnlimited: ");

-    result.append(maxUnlimited);

-    result.append(", max: ");

-    result.append(max);

     result.append(')');

     return result.toString();

   }

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java
index 58c9881e..7a472842 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationAdapterFactory.java
@@ -266,6 +266,31 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
         return createTypeScopeAdapter();

       }

       @Override

+      public Adapter caseClassTypeScope(ClassTypeScope object)

+      {

+        return createClassTypeScopeAdapter();

+      }

+      @Override

+      public Adapter caseObjectTypeScope(ObjectTypeScope object)

+      {

+        return createObjectTypeScopeAdapter();

+      }

+      @Override

+      public Adapter caseIntegerTypeScope(IntegerTypeScope object)

+      {

+        return createIntegerTypeScopeAdapter();

+      }

+      @Override

+      public Adapter caseRealTypeScope(RealTypeScope object)

+      {

+        return createRealTypeScopeAdapter();

+      }

+      @Override

+      public Adapter caseStringTypeScope(StringTypeScope object)

+      {

+        return createStringTypeScopeAdapter();

+      }

+      @Override

       public Adapter caseTypeReference(TypeReference object)

       {

         return createTypeReferenceAdapter();

@@ -296,6 +321,36 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
         return createStringReferenceAdapter();

       }

       @Override

+      public Adapter caseNumberSpecification(NumberSpecification object)

+      {

+        return createNumberSpecificationAdapter();

+      }

+      @Override

+      public Adapter caseExactNumber(ExactNumber object)

+      {

+        return createExactNumberAdapter();

+      }

+      @Override

+      public Adapter caseIntervallNumber(IntervallNumber object)

+      {

+        return createIntervallNumberAdapter();

+      }

+      @Override

+      public Adapter caseIntEnumberation(IntEnumberation object)

+      {

+        return createIntEnumberationAdapter();

+      }

+      @Override

+      public Adapter caseRealEnumeration(RealEnumeration object)

+      {

+        return createRealEnumerationAdapter();

+      }

+      @Override

+      public Adapter caseStringEnumeration(StringEnumeration object)

+      {

+        return createStringEnumerationAdapter();

+      }

+      @Override

       public Adapter caseScopeDeclaration(ScopeDeclaration object)

       {

         return createScopeDeclarationAdapter();

@@ -928,6 +983,81 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
   }

 

   /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope <em>Class Type Scope</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ClassTypeScope

+   * @generated

+   */

+  public Adapter createClassTypeScopeAdapter()

+  {

+    return null;

+  }

+

+  /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope <em>Object Type Scope</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ObjectTypeScope

+   * @generated

+   */

+  public Adapter createObjectTypeScopeAdapter()

+  {

+    return null;

+  }

+

+  /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope <em>Integer Type Scope</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntegerTypeScope

+   * @generated

+   */

+  public Adapter createIntegerTypeScopeAdapter()

+  {

+    return null;

+  }

+

+  /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope <em>Real Type Scope</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealTypeScope

+   * @generated

+   */

+  public Adapter createRealTypeScopeAdapter()

+  {

+    return null;

+  }

+

+  /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope <em>String Type Scope</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringTypeScope

+   * @generated

+   */

+  public Adapter createStringTypeScopeAdapter()

+  {

+    return null;

+  }

+

+  /**

    * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.TypeReference <em>Type Reference</em>}'.

    * <!-- begin-user-doc -->

    * This default implementation returns null so that we can easily ignore cases;

@@ -1018,6 +1148,96 @@ public class ApplicationConfigurationAdapterFactory extends AdapterFactoryImpl
   }

 

   /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification <em>Number Specification</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.NumberSpecification

+   * @generated

+   */

+  public Adapter createNumberSpecificationAdapter()

+  {

+    return null;

+  }

+

+  /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber <em>Exact Number</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ExactNumber

+   * @generated

+   */

+  public Adapter createExactNumberAdapter()

+  {

+    return null;

+  }

+

+  /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber <em>Intervall Number</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntervallNumber

+   * @generated

+   */

+  public Adapter createIntervallNumberAdapter()

+  {

+    return null;

+  }

+

+  /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation <em>Int Enumberation</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.IntEnumberation

+   * @generated

+   */

+  public Adapter createIntEnumberationAdapter()

+  {

+    return null;

+  }

+

+  /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration <em>Real Enumeration</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.RealEnumeration

+   * @generated

+   */

+  public Adapter createRealEnumerationAdapter()

+  {

+    return null;

+  }

+

+  /**

+   * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration <em>String Enumeration</em>}'.

+   * <!-- begin-user-doc -->

+   * This default implementation returns null so that we can easily ignore cases;

+   * it's useful to ignore a case when inheritance will catch all the cases anyway.

+   * <!-- end-user-doc -->

+   * @return the new adapter.

+   * @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.StringEnumeration

+   * @generated

+   */

+  public Adapter createStringEnumerationAdapter()

+  {

+    return null;

+  }

+

+  /**

    * Creates a new adapter for an object of class '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ScopeDeclaration <em>Scope Declaration</em>}'.

    * <!-- begin-user-doc -->

    * This default implementation returns null so that we can easily ignore cases;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java
index fbcf4041..a579f3f1 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/util/ApplicationConfigurationSwitch.java
@@ -369,6 +369,46 @@ public class ApplicationConfigurationSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

+      case ApplicationConfigurationPackage.CLASS_TYPE_SCOPE:

+      {

+        ClassTypeScope classTypeScope = (ClassTypeScope)theEObject;

+        T result = caseClassTypeScope(classTypeScope);

+        if (result == null) result = caseTypeScope(classTypeScope);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

+      case ApplicationConfigurationPackage.OBJECT_TYPE_SCOPE:

+      {

+        ObjectTypeScope objectTypeScope = (ObjectTypeScope)theEObject;

+        T result = caseObjectTypeScope(objectTypeScope);

+        if (result == null) result = caseTypeScope(objectTypeScope);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

+      case ApplicationConfigurationPackage.INTEGER_TYPE_SCOPE:

+      {

+        IntegerTypeScope integerTypeScope = (IntegerTypeScope)theEObject;

+        T result = caseIntegerTypeScope(integerTypeScope);

+        if (result == null) result = caseTypeScope(integerTypeScope);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

+      case ApplicationConfigurationPackage.REAL_TYPE_SCOPE:

+      {

+        RealTypeScope realTypeScope = (RealTypeScope)theEObject;

+        T result = caseRealTypeScope(realTypeScope);

+        if (result == null) result = caseTypeScope(realTypeScope);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

+      case ApplicationConfigurationPackage.STRING_TYPE_SCOPE:

+      {

+        StringTypeScope stringTypeScope = (StringTypeScope)theEObject;

+        T result = caseStringTypeScope(stringTypeScope);

+        if (result == null) result = caseTypeScope(stringTypeScope);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

       case ApplicationConfigurationPackage.TYPE_REFERENCE:

       {

         TypeReference typeReference = (TypeReference)theEObject;

@@ -416,6 +456,53 @@ public class ApplicationConfigurationSwitch<T> extends Switch<T>
         if (result == null) result = defaultCase(theEObject);

         return result;

       }

+      case ApplicationConfigurationPackage.NUMBER_SPECIFICATION:

+      {

+        NumberSpecification numberSpecification = (NumberSpecification)theEObject;

+        T result = caseNumberSpecification(numberSpecification);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

+      case ApplicationConfigurationPackage.EXACT_NUMBER:

+      {

+        ExactNumber exactNumber = (ExactNumber)theEObject;

+        T result = caseExactNumber(exactNumber);

+        if (result == null) result = caseNumberSpecification(exactNumber);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

+      case ApplicationConfigurationPackage.INTERVALL_NUMBER:

+      {

+        IntervallNumber intervallNumber = (IntervallNumber)theEObject;

+        T result = caseIntervallNumber(intervallNumber);

+        if (result == null) result = caseNumberSpecification(intervallNumber);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

+      case ApplicationConfigurationPackage.INT_ENUMBERATION:

+      {

+        IntEnumberation intEnumberation = (IntEnumberation)theEObject;

+        T result = caseIntEnumberation(intEnumberation);

+        if (result == null) result = caseNumberSpecification(intEnumberation);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

+      case ApplicationConfigurationPackage.REAL_ENUMERATION:

+      {

+        RealEnumeration realEnumeration = (RealEnumeration)theEObject;

+        T result = caseRealEnumeration(realEnumeration);

+        if (result == null) result = caseNumberSpecification(realEnumeration);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

+      case ApplicationConfigurationPackage.STRING_ENUMERATION:

+      {

+        StringEnumeration stringEnumeration = (StringEnumeration)theEObject;

+        T result = caseStringEnumeration(stringEnumeration);

+        if (result == null) result = caseNumberSpecification(stringEnumeration);

+        if (result == null) result = defaultCase(theEObject);

+        return result;

+      }

       case ApplicationConfigurationPackage.SCOPE_DECLARATION:

       {

         ScopeDeclaration scopeDeclaration = (ScopeDeclaration)theEObject;

@@ -1097,6 +1184,86 @@ public class ApplicationConfigurationSwitch<T> extends Switch<T>
   }

 

   /**

+   * Returns the result of interpreting the object as an instance of '<em>Class Type Scope</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>Class Type Scope</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseClassTypeScope(ClassTypeScope object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>Object Type Scope</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>Object Type Scope</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseObjectTypeScope(ObjectTypeScope object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>Integer Type Scope</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>Integer Type Scope</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseIntegerTypeScope(IntegerTypeScope object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>Real Type Scope</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>Real Type Scope</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseRealTypeScope(RealTypeScope object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>String Type Scope</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>String Type Scope</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseStringTypeScope(StringTypeScope object)

+  {

+    return null;

+  }

+

+  /**

    * Returns the result of interpreting the object as an instance of '<em>Type Reference</em>'.

    * <!-- begin-user-doc -->

    * This implementation returns null;

@@ -1193,6 +1360,102 @@ public class ApplicationConfigurationSwitch<T> extends Switch<T>
   }

 

   /**

+   * Returns the result of interpreting the object as an instance of '<em>Number Specification</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>Number Specification</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseNumberSpecification(NumberSpecification object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>Exact Number</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>Exact Number</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseExactNumber(ExactNumber object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>Intervall Number</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>Intervall Number</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseIntervallNumber(IntervallNumber object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>Int Enumberation</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>Int Enumberation</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseIntEnumberation(IntEnumberation object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>Real Enumeration</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>Real Enumeration</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseRealEnumeration(RealEnumeration object)

+  {

+    return null;

+  }

+

+  /**

+   * Returns the result of interpreting the object as an instance of '<em>String Enumeration</em>'.

+   * <!-- begin-user-doc -->

+   * This implementation returns null;

+   * returning a non-null result will terminate the switch.

+   * <!-- end-user-doc -->

+   * @param object the target of the switch.

+   * @return the result of interpreting the object as an instance of '<em>String Enumeration</em>'.

+   * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)

+   * @generated

+   */

+  public T caseStringEnumeration(StringEnumeration object)

+  {

+    return null;

+  }

+

+  /**

    * Returns the result of interpreting the object as an instance of '<em>Scope Declaration</em>'.

    * <!-- begin-user-doc -->

    * This implementation returns null;