1 files changed, 4 insertions, 667 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.g b/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.g
index 0d0b6cd0..893eb320 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.g
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.g
@@ -1,5 +1,5 @@
 /*
- * generated by Xtext 2.16.0
+ * generated by Xtext 2.17.0
  */
 grammar InternalApplicationConfiguration;
 
@@ -249,31 +249,6 @@ finally {
         restoreStackSize(stackSize);
 }
 
-// Entry rule entryRuleCftImport
-entryRuleCftImport
-:
-{ before(grammarAccess.getCftImportRule()); }
-         ruleCftImport
-{ after(grammarAccess.getCftImportRule()); } 
-         EOF 
-;
-
-// Rule CftImport
-ruleCftImport 
-        @init {
-                int stackSize = keepStackSize();
-        }
-        :
-        (
-                { before(grammarAccess.getCftImportAccess().getGroup()); }
-                (rule__CftImport__Group__0)
-                { after(grammarAccess.getCftImportAccess().getGroup()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
 // Entry rule entryRuleDeclaration
 entryRuleDeclaration
 :
@@ -1040,9 +1015,9 @@ ruleObjectiveFunction
         }
         :
         (
-                { before(grammarAccess.getObjectiveFunctionAccess().getAlternatives()); }
-                (rule__ObjectiveFunction__Alternatives)
-                { after(grammarAccess.getObjectiveFunctionAccess().getAlternatives()); }
+                { before(grammarAccess.getObjectiveFunctionAccess().getCostObjectiveFunctionParserRuleCall()); }
+                ruleCostObjectiveFunction
+                { after(grammarAccess.getObjectiveFunctionAccess().getCostObjectiveFunctionParserRuleCall()); }
         )
 ;
 finally {
@@ -1099,81 +1074,6 @@ finally {
         restoreStackSize(stackSize);
 }
 
-// Entry rule entryRuleReliabilityObjectiveFunction
-entryRuleReliabilityObjectiveFunction
-:
-{ before(grammarAccess.getReliabilityObjectiveFunctionRule()); }
-         ruleReliabilityObjectiveFunction
-{ after(grammarAccess.getReliabilityObjectiveFunctionRule()); } 
-         EOF 
-;
-
-// Rule ReliabilityObjectiveFunction
-ruleReliabilityObjectiveFunction 
-        @init {
-                int stackSize = keepStackSize();
-        }
-        :
-        (
-                { before(grammarAccess.getReliabilityObjectiveFunctionAccess().getAlternatives()); }
-                (rule__ReliabilityObjectiveFunction__Alternatives)
-                { after(grammarAccess.getReliabilityObjectiveFunctionAccess().getAlternatives()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-// Entry rule entryRuleReliabiltiyProbability
-entryRuleReliabiltiyProbability
-:
-{ before(grammarAccess.getReliabiltiyProbabilityRule()); }
-         ruleReliabiltiyProbability
-{ after(grammarAccess.getReliabiltiyProbabilityRule()); } 
-         EOF 
-;
-
-// Rule ReliabiltiyProbability
-ruleReliabiltiyProbability 
-        @init {
-                int stackSize = keepStackSize();
-        }
-        :
-        (
-                { before(grammarAccess.getReliabiltiyProbabilityAccess().getGroup()); }
-                (rule__ReliabiltiyProbability__Group__0)
-                { after(grammarAccess.getReliabiltiyProbabilityAccess().getGroup()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-// Entry rule entryRuleMtff
-entryRuleMtff
-:
-{ before(grammarAccess.getMtffRule()); }
-         ruleMtff
-{ after(grammarAccess.getMtffRule()); } 
-         EOF 
-;
-
-// Rule Mtff
-ruleMtff 
-        @init {
-                int stackSize = keepStackSize();
-        }
-        :
-        (
-                { before(grammarAccess.getMtffAccess().getGroup()); }
-                (rule__Mtff__Group__0)
-                { after(grammarAccess.getMtffAccess().getGroup()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
 // Entry rule entryRuleObjectiveDeclaration
 entryRuleObjectiveDeclaration
 :
@@ -2125,12 +2025,6 @@ rule__Import__Alternatives
                 ruleViatraImport
                 { after(grammarAccess.getImportAccess().getViatraImportParserRuleCall_1()); }
         )
-        |
-        (
-                { before(grammarAccess.getImportAccess().getCftImportParserRuleCall_2()); }
-                ruleCftImport
-                { after(grammarAccess.getImportAccess().getCftImportParserRuleCall_2()); }
-        )
 ;
 finally {
         restoreStackSize(stackSize);
@@ -2355,48 +2249,6 @@ finally {
         restoreStackSize(stackSize);
 }
 
-rule__ObjectiveFunction__Alternatives
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        (
-                { before(grammarAccess.getObjectiveFunctionAccess().getCostObjectiveFunctionParserRuleCall_0()); }
-                ruleCostObjectiveFunction
-                { after(grammarAccess.getObjectiveFunctionAccess().getCostObjectiveFunctionParserRuleCall_0()); }
-        )
-        |
-        (
-                { before(grammarAccess.getObjectiveFunctionAccess().getReliabilityObjectiveFunctionParserRuleCall_1()); }
-                ruleReliabilityObjectiveFunction
-                { after(grammarAccess.getObjectiveFunctionAccess().getReliabilityObjectiveFunctionParserRuleCall_1()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabilityObjectiveFunction__Alternatives
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        (
-                { before(grammarAccess.getReliabilityObjectiveFunctionAccess().getReliabiltiyProbabilityParserRuleCall_0()); }
-                ruleReliabiltiyProbability
-                { after(grammarAccess.getReliabilityObjectiveFunctionAccess().getReliabiltiyProbabilityParserRuleCall_0()); }
-        )
-        |
-        (
-                { before(grammarAccess.getReliabilityObjectiveFunctionAccess().getMtffParserRuleCall_1()); }
-                ruleMtff
-                { after(grammarAccess.getReliabilityObjectiveFunctionAccess().getMtffParserRuleCall_1()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
 rule__Objective__Alternatives
         @init {
                 int stackSize = keepStackSize();
@@ -3396,87 +3248,6 @@ finally {
 }
 
 
-rule__CftImport__Group__0
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__CftImport__Group__0__Impl
-        rule__CftImport__Group__1
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__CftImport__Group__0__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getCftImportAccess().getImportKeyword_0()); }
-        'import'
-        { after(grammarAccess.getCftImportAccess().getImportKeyword_0()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__CftImport__Group__1
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__CftImport__Group__1__Impl
-        rule__CftImport__Group__2
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__CftImport__Group__1__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getCftImportAccess().getReliabilityKeyword_1()); }
-        'reliability'
-        { after(grammarAccess.getCftImportAccess().getReliabilityKeyword_1()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__CftImport__Group__2
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__CftImport__Group__2__Impl
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__CftImport__Group__2__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getCftImportAccess().getImportedCftAssignment_2()); }
-        (rule__CftImport__ImportedCftAssignment_2)
-        { after(grammarAccess.getCftImportAccess().getImportedCftAssignment_2()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-
 rule__FileDeclaration__Group__0
         @init {
                 int stackSize = keepStackSize();
@@ -5988,330 +5759,6 @@ finally {
 }
 
 
-rule__ReliabiltiyProbability__Group__0
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__ReliabiltiyProbability__Group__0__Impl
-        rule__ReliabiltiyProbability__Group__1
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group__0__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getReliabiltiyProbabilityAccess().getReliabilityKeyword_0()); }
-        'reliability'
-        { after(grammarAccess.getReliabiltiyProbabilityAccess().getReliabilityKeyword_0()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group__1
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__ReliabiltiyProbability__Group__1__Impl
-        rule__ReliabiltiyProbability__Group__2
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group__1__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getReliabiltiyProbabilityAccess().getGroup_1()); }
-        (rule__ReliabiltiyProbability__Group_1__0)?
-        { after(grammarAccess.getReliabiltiyProbabilityAccess().getGroup_1()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group__2
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__ReliabiltiyProbability__Group__2__Impl
-        rule__ReliabiltiyProbability__Group__3
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group__2__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getReliabiltiyProbabilityAccess().getTransformationAssignment_2()); }
-        (rule__ReliabiltiyProbability__TransformationAssignment_2)
-        { after(grammarAccess.getReliabiltiyProbabilityAccess().getTransformationAssignment_2()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group__3
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__ReliabiltiyProbability__Group__3__Impl
-        rule__ReliabiltiyProbability__Group__4
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group__3__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getReliabiltiyProbabilityAccess().getAtKeyword_3()); }
-        'at'
-        { after(grammarAccess.getReliabiltiyProbabilityAccess().getAtKeyword_3()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group__4
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__ReliabiltiyProbability__Group__4__Impl
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group__4__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getReliabiltiyProbabilityAccess().getTimeAssignment_4()); }
-        (rule__ReliabiltiyProbability__TimeAssignment_4)
-        { after(grammarAccess.getReliabiltiyProbabilityAccess().getTimeAssignment_4()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-
-rule__ReliabiltiyProbability__Group_1__0
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__ReliabiltiyProbability__Group_1__0__Impl
-        rule__ReliabiltiyProbability__Group_1__1
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group_1__0__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getReliabiltiyProbabilityAccess().getPackageAssignment_1_0()); }
-        (rule__ReliabiltiyProbability__PackageAssignment_1_0)
-        { after(grammarAccess.getReliabiltiyProbabilityAccess().getPackageAssignment_1_0()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group_1__1
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__ReliabiltiyProbability__Group_1__1__Impl
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__Group_1__1__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getReliabiltiyProbabilityAccess().getColonColonKeyword_1_1()); }
-        '::'
-        { after(grammarAccess.getReliabiltiyProbabilityAccess().getColonColonKeyword_1_1()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-
-rule__Mtff__Group__0
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__Mtff__Group__0__Impl
-        rule__Mtff__Group__1
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__Group__0__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getMtffAccess().getMtffKeyword_0()); }
-        'mtff'
-        { after(grammarAccess.getMtffAccess().getMtffKeyword_0()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__Group__1
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__Mtff__Group__1__Impl
-        rule__Mtff__Group__2
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__Group__1__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getMtffAccess().getGroup_1()); }
-        (rule__Mtff__Group_1__0)?
-        { after(grammarAccess.getMtffAccess().getGroup_1()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__Group__2
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__Mtff__Group__2__Impl
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__Group__2__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getMtffAccess().getTransformationAssignment_2()); }
-        (rule__Mtff__TransformationAssignment_2)
-        { after(grammarAccess.getMtffAccess().getTransformationAssignment_2()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-
-rule__Mtff__Group_1__0
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__Mtff__Group_1__0__Impl
-        rule__Mtff__Group_1__1
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__Group_1__0__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getMtffAccess().getPackageAssignment_1_0()); }
-        (rule__Mtff__PackageAssignment_1_0)
-        { after(grammarAccess.getMtffAccess().getPackageAssignment_1_0()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__Group_1__1
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        rule__Mtff__Group_1__1__Impl
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__Group_1__1__Impl
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-(
-        { before(grammarAccess.getMtffAccess().getColonColonKeyword_1_1()); }
-        '::'
-        { after(grammarAccess.getMtffAccess().getColonColonKeyword_1_1()); }
-)
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-
 rule__ObjectiveDeclaration__Group__0
         @init {
                 int stackSize = keepStackSize();
@@ -10513,25 +9960,6 @@ finally {
         restoreStackSize(stackSize);
 }
 
-rule__CftImport__ImportedCftAssignment_2
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        (
-                { before(grammarAccess.getCftImportAccess().getImportedCftCftModelCrossReference_2_0()); }
-                (
-                        { before(grammarAccess.getCftImportAccess().getImportedCftCftModelSTRINGTerminalRuleCall_2_0_1()); }
-                        RULE_STRING
-                        { after(grammarAccess.getCftImportAccess().getImportedCftCftModelSTRINGTerminalRuleCall_2_0_1()); }
-                )
-                { after(grammarAccess.getCftImportAccess().getImportedCftCftModelCrossReference_2_0()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
 rule__FileSpecification__PathAssignment
         @init {
                 int stackSize = keepStackSize();
@@ -11251,97 +10679,6 @@ finally {
         restoreStackSize(stackSize);
 }
 
-rule__ReliabiltiyProbability__PackageAssignment_1_0
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        (
-                { before(grammarAccess.getReliabiltiyProbabilityAccess().getPackageCftModelCrossReference_1_0_0()); }
-                (
-                        { before(grammarAccess.getReliabiltiyProbabilityAccess().getPackageCftModelQualifiedNameParserRuleCall_1_0_0_1()); }
-                        ruleQualifiedName
-                        { after(grammarAccess.getReliabiltiyProbabilityAccess().getPackageCftModelQualifiedNameParserRuleCall_1_0_0_1()); }
-                )
-                { after(grammarAccess.getReliabiltiyProbabilityAccess().getPackageCftModelCrossReference_1_0_0()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__TransformationAssignment_2
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        (
-                { before(grammarAccess.getReliabiltiyProbabilityAccess().getTransformationTransformationDefinitionCrossReference_2_0()); }
-                (
-                        { before(grammarAccess.getReliabiltiyProbabilityAccess().getTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1()); }
-                        RULE_ID
-                        { after(grammarAccess.getReliabiltiyProbabilityAccess().getTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1()); }
-                )
-                { after(grammarAccess.getReliabiltiyProbabilityAccess().getTransformationTransformationDefinitionCrossReference_2_0()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__ReliabiltiyProbability__TimeAssignment_4
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        (
-                { before(grammarAccess.getReliabiltiyProbabilityAccess().getTimeREALLiteralParserRuleCall_4_0()); }
-                ruleREALLiteral
-                { after(grammarAccess.getReliabiltiyProbabilityAccess().getTimeREALLiteralParserRuleCall_4_0()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__PackageAssignment_1_0
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        (
-                { before(grammarAccess.getMtffAccess().getPackageCftModelCrossReference_1_0_0()); }
-                (
-                        { before(grammarAccess.getMtffAccess().getPackageCftModelQualifiedNameParserRuleCall_1_0_0_1()); }
-                        ruleQualifiedName
-                        { after(grammarAccess.getMtffAccess().getPackageCftModelQualifiedNameParserRuleCall_1_0_0_1()); }
-                )
-                { after(grammarAccess.getMtffAccess().getPackageCftModelCrossReference_1_0_0()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
-rule__Mtff__TransformationAssignment_2
-        @init {
-                int stackSize = keepStackSize();
-        }
-:
-        (
-                { before(grammarAccess.getMtffAccess().getTransformationTransformationDefinitionCrossReference_2_0()); }
-                (
-                        { before(grammarAccess.getMtffAccess().getTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1()); }
-                        RULE_ID
-                        { after(grammarAccess.getMtffAccess().getTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1()); }
-                )
-                { after(grammarAccess.getMtffAccess().getTransformationTransformationDefinitionCrossReference_2_0()); }
-        )
-;
-finally {
-        restoreStackSize(stackSize);
-}
-
 rule__ObjectiveDeclaration__NameAssignment_1
         @init {
                 int stackSize = keepStackSize();