1 files changed, 12 insertions, 231 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java
index 213203b4..5b5de2bf 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/services/ApplicationConfigurationGrammarAccess.java
@@ -1,5 +1,5 @@
 /*
- * generated by Xtext 2.16.0
+ * generated by Xtext 2.17.0
  */
 package hu.bme.mit.inf.dslreasoner.application.services;
 
@@ -153,16 +153,15 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
                 private final RuleCall cEPackageImportParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
                 private final RuleCall cViatraImportParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
-                private final RuleCall cCftImportParserRuleCall_2 = (RuleCall)cAlternatives.eContents().get(2);
                 
                 /////////////////////////////////////////////////////
                 //// Imports
                 /////////////////////////////////////////////////////
                 //Import:
-                //      EPackageImport | ViatraImport | CftImport;
+                //      EPackageImport | ViatraImport;
                 @Override public ParserRule getRule() { return rule; }
                 
-                //EPackageImport | ViatraImport | CftImport
+                //EPackageImport | ViatraImport
                 public Alternatives getAlternatives() { return cAlternatives; }
                 
                 //EPackageImport
@@ -170,9 +169,6 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 
                 //ViatraImport
                 public RuleCall getViatraImportParserRuleCall_1() { return cViatraImportParserRuleCall_1; }
-                
-                //CftImport
-                public RuleCall getCftImportParserRuleCall_2() { return cCftImportParserRuleCall_2; }
         }
         public class EPackageImportElements extends AbstractParserRuleElementFinder {
                 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.EPackageImport");
@@ -236,37 +232,6 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //STRING
                 public RuleCall getImportedViatraPatternModelSTRINGTerminalRuleCall_2_0_1() { return cImportedViatraPatternModelSTRINGTerminalRuleCall_2_0_1; }
         }
-        public class CftImportElements extends AbstractParserRuleElementFinder {
-                private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.CftImport");
-                private final Group cGroup = (Group)rule.eContents().get(1);
-                private final Keyword cImportKeyword_0 = (Keyword)cGroup.eContents().get(0);
-                private final Keyword cReliabilityKeyword_1 = (Keyword)cGroup.eContents().get(1);
-                private final Assignment cImportedCftAssignment_2 = (Assignment)cGroup.eContents().get(2);
-                private final CrossReference cImportedCftCftModelCrossReference_2_0 = (CrossReference)cImportedCftAssignment_2.eContents().get(0);
-                private final RuleCall cImportedCftCftModelSTRINGTerminalRuleCall_2_0_1 = (RuleCall)cImportedCftCftModelCrossReference_2_0.eContents().get(1);
-                
-                //CftImport:
-                //      "import" "reliability" importedCft=[cftLanguage::CftModel|STRING];
-                @Override public ParserRule getRule() { return rule; }
-                
-                //"import" "reliability" importedCft=[cftLanguage::CftModel|STRING]
-                public Group getGroup() { return cGroup; }
-                
-                //"import"
-                public Keyword getImportKeyword_0() { return cImportKeyword_0; }
-                
-                //"reliability"
-                public Keyword getReliabilityKeyword_1() { return cReliabilityKeyword_1; }
-                
-                //importedCft=[cftLanguage::CftModel|STRING]
-                public Assignment getImportedCftAssignment_2() { return cImportedCftAssignment_2; }
-                
-                //[cftLanguage::CftModel|STRING]
-                public CrossReference getImportedCftCftModelCrossReference_2_0() { return cImportedCftCftModelCrossReference_2_0; }
-                
-                //STRING
-                public RuleCall getImportedCftCftModelSTRINGTerminalRuleCall_2_0_1() { return cImportedCftCftModelSTRINGTerminalRuleCall_2_0_1; }
-        }
         public class DeclarationElements extends AbstractParserRuleElementFinder {
                 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.Declaration");
                 private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
@@ -559,7 +524,8 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 private final RuleCall cFeatureENamedElementIDTerminalRuleCall_2_1_0_1 = (RuleCall)cFeatureENamedElementCrossReference_2_1_0.eContents().get(1);
                 
                 //MetamodelElement:
-                //      (package=[ecore::EPackage|QualifiedName] '::')? classifier=[ecore::EClassifier] ('.' feature=[ecore::ENamedElement])?;
+                //      (package=[ecore::EPackage|QualifiedName] '::')? classifier=[ecore::EClassifier] ('.'
+                //      feature=[ecore::ENamedElement])?;
                 @Override public ParserRule getRule() { return rule; }
                 
                 //(package=[ecore::EPackage|QualifiedName] '::')? classifier=[ecore::EClassifier] ('.' feature=[ecore::ENamedElement])?
@@ -1260,22 +1226,14 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
         }
         public class ObjectiveFunctionElements extends AbstractParserRuleElementFinder {
                 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.ObjectiveFunction");
-                private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
-                private final RuleCall cCostObjectiveFunctionParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
-                private final RuleCall cReliabilityObjectiveFunctionParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
+                private final RuleCall cCostObjectiveFunctionParserRuleCall = (RuleCall)rule.eContents().get(1);
                 
                 //ObjectiveFunction:
-                //      CostObjectiveFunction | ReliabilityObjectiveFunction;
+                //      CostObjectiveFunction;
                 @Override public ParserRule getRule() { return rule; }
                 
-                //CostObjectiveFunction | ReliabilityObjectiveFunction
-                public Alternatives getAlternatives() { return cAlternatives; }
-                
                 //CostObjectiveFunction
-                public RuleCall getCostObjectiveFunctionParserRuleCall_0() { return cCostObjectiveFunctionParserRuleCall_0; }
-                
-                //ReliabilityObjectiveFunction
-                public RuleCall getReliabilityObjectiveFunctionParserRuleCall_1() { return cReliabilityObjectiveFunctionParserRuleCall_1; }
+                public RuleCall getCostObjectiveFunctionParserRuleCall() { return cCostObjectiveFunctionParserRuleCall; }
         }
         public class CostObjectiveFunctionElements extends AbstractParserRuleElementFinder {
                 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.CostObjectiveFunction");
@@ -1355,134 +1313,6 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 //INTLiteral
                 public RuleCall getWeightINTLiteralParserRuleCall_2_0() { return cWeightINTLiteralParserRuleCall_2_0; }
         }
-        public class ReliabilityObjectiveFunctionElements extends AbstractParserRuleElementFinder {
-                private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.ReliabilityObjectiveFunction");
-                private final Alternatives cAlternatives = (Alternatives)rule.eContents().get(1);
-                private final RuleCall cReliabiltiyProbabilityParserRuleCall_0 = (RuleCall)cAlternatives.eContents().get(0);
-                private final RuleCall cMtffParserRuleCall_1 = (RuleCall)cAlternatives.eContents().get(1);
-                
-                //ReliabilityObjectiveFunction:
-                //      ReliabiltiyProbability | Mtff;
-                @Override public ParserRule getRule() { return rule; }
-                
-                //ReliabiltiyProbability | Mtff
-                public Alternatives getAlternatives() { return cAlternatives; }
-                
-                //ReliabiltiyProbability
-                public RuleCall getReliabiltiyProbabilityParserRuleCall_0() { return cReliabiltiyProbabilityParserRuleCall_0; }
-                
-                //Mtff
-                public RuleCall getMtffParserRuleCall_1() { return cMtffParserRuleCall_1; }
-        }
-        public class ReliabiltiyProbabilityElements extends AbstractParserRuleElementFinder {
-                private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.ReliabiltiyProbability");
-                private final Group cGroup = (Group)rule.eContents().get(1);
-                private final Keyword cReliabilityKeyword_0 = (Keyword)cGroup.eContents().get(0);
-                private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
-                private final Assignment cPackageAssignment_1_0 = (Assignment)cGroup_1.eContents().get(0);
-                private final CrossReference cPackageCftModelCrossReference_1_0_0 = (CrossReference)cPackageAssignment_1_0.eContents().get(0);
-                private final RuleCall cPackageCftModelQualifiedNameParserRuleCall_1_0_0_1 = (RuleCall)cPackageCftModelCrossReference_1_0_0.eContents().get(1);
-                private final Keyword cColonColonKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
-                private final Assignment cTransformationAssignment_2 = (Assignment)cGroup.eContents().get(2);
-                private final CrossReference cTransformationTransformationDefinitionCrossReference_2_0 = (CrossReference)cTransformationAssignment_2.eContents().get(0);
-                private final RuleCall cTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1 = (RuleCall)cTransformationTransformationDefinitionCrossReference_2_0.eContents().get(1);
-                private final Keyword cAtKeyword_3 = (Keyword)cGroup.eContents().get(3);
-                private final Assignment cTimeAssignment_4 = (Assignment)cGroup.eContents().get(4);
-                private final RuleCall cTimeREALLiteralParserRuleCall_4_0 = (RuleCall)cTimeAssignment_4.eContents().get(0);
-                
-                //ReliabiltiyProbability:
-                //      'reliability' (package=[cftLanguage::CftModel|QualifiedName] '::')?
-                //      transformation=[cftLanguage::TransformationDefinition]
-                //      'at' time=REALLiteral;
-                @Override public ParserRule getRule() { return rule; }
-                
-                //'reliability' (package=[cftLanguage::CftModel|QualifiedName] '::')?
-                //transformation=[cftLanguage::TransformationDefinition] 'at' time=REALLiteral
-                public Group getGroup() { return cGroup; }
-                
-                //'reliability'
-                public Keyword getReliabilityKeyword_0() { return cReliabilityKeyword_0; }
-                
-                //(package=[cftLanguage::CftModel|QualifiedName] '::')?
-                public Group getGroup_1() { return cGroup_1; }
-                
-                //package=[cftLanguage::CftModel|QualifiedName]
-                public Assignment getPackageAssignment_1_0() { return cPackageAssignment_1_0; }
-                
-                //[cftLanguage::CftModel|QualifiedName]
-                public CrossReference getPackageCftModelCrossReference_1_0_0() { return cPackageCftModelCrossReference_1_0_0; }
-                
-                //QualifiedName
-                public RuleCall getPackageCftModelQualifiedNameParserRuleCall_1_0_0_1() { return cPackageCftModelQualifiedNameParserRuleCall_1_0_0_1; }
-                
-                //'::'
-                public Keyword getColonColonKeyword_1_1() { return cColonColonKeyword_1_1; }
-                
-                //transformation=[cftLanguage::TransformationDefinition]
-                public Assignment getTransformationAssignment_2() { return cTransformationAssignment_2; }
-                
-                //[cftLanguage::TransformationDefinition]
-                public CrossReference getTransformationTransformationDefinitionCrossReference_2_0() { return cTransformationTransformationDefinitionCrossReference_2_0; }
-                
-                //ID
-                public RuleCall getTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1() { return cTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1; }
-                
-                //'at'
-                public Keyword getAtKeyword_3() { return cAtKeyword_3; }
-                
-                //time=REALLiteral
-                public Assignment getTimeAssignment_4() { return cTimeAssignment_4; }
-                
-                //REALLiteral
-                public RuleCall getTimeREALLiteralParserRuleCall_4_0() { return cTimeREALLiteralParserRuleCall_4_0; }
-        }
-        public class MtffElements extends AbstractParserRuleElementFinder {
-                private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.Mtff");
-                private final Group cGroup = (Group)rule.eContents().get(1);
-                private final Keyword cMtffKeyword_0 = (Keyword)cGroup.eContents().get(0);
-                private final Group cGroup_1 = (Group)cGroup.eContents().get(1);
-                private final Assignment cPackageAssignment_1_0 = (Assignment)cGroup_1.eContents().get(0);
-                private final CrossReference cPackageCftModelCrossReference_1_0_0 = (CrossReference)cPackageAssignment_1_0.eContents().get(0);
-                private final RuleCall cPackageCftModelQualifiedNameParserRuleCall_1_0_0_1 = (RuleCall)cPackageCftModelCrossReference_1_0_0.eContents().get(1);
-                private final Keyword cColonColonKeyword_1_1 = (Keyword)cGroup_1.eContents().get(1);
-                private final Assignment cTransformationAssignment_2 = (Assignment)cGroup.eContents().get(2);
-                private final CrossReference cTransformationTransformationDefinitionCrossReference_2_0 = (CrossReference)cTransformationAssignment_2.eContents().get(0);
-                private final RuleCall cTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1 = (RuleCall)cTransformationTransformationDefinitionCrossReference_2_0.eContents().get(1);
-                
-                //Mtff:
-                //      'mtff' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation=[cftLanguage::TransformationDefinition];
-                @Override public ParserRule getRule() { return rule; }
-                
-                //'mtff' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation=[cftLanguage::TransformationDefinition]
-                public Group getGroup() { return cGroup; }
-                
-                //'mtff'
-                public Keyword getMtffKeyword_0() { return cMtffKeyword_0; }
-                
-                //(package=[cftLanguage::CftModel|QualifiedName] '::')?
-                public Group getGroup_1() { return cGroup_1; }
-                
-                //package=[cftLanguage::CftModel|QualifiedName]
-                public Assignment getPackageAssignment_1_0() { return cPackageAssignment_1_0; }
-                
-                //[cftLanguage::CftModel|QualifiedName]
-                public CrossReference getPackageCftModelCrossReference_1_0_0() { return cPackageCftModelCrossReference_1_0_0; }
-                
-                //QualifiedName
-                public RuleCall getPackageCftModelQualifiedNameParserRuleCall_1_0_0_1() { return cPackageCftModelQualifiedNameParserRuleCall_1_0_0_1; }
-                
-                //'::'
-                public Keyword getColonColonKeyword_1_1() { return cColonColonKeyword_1_1; }
-                
-                //transformation=[cftLanguage::TransformationDefinition]
-                public Assignment getTransformationAssignment_2() { return cTransformationAssignment_2; }
-                
-                //[cftLanguage::TransformationDefinition]
-                public CrossReference getTransformationTransformationDefinitionCrossReference_2_0() { return cTransformationTransformationDefinitionCrossReference_2_0; }
-                
-                //ID
-                public RuleCall getTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1() { return cTransformationTransformationDefinitionIDTerminalRuleCall_2_0_1; }
-        }
         public class ObjectiveDeclarationElements extends AbstractParserRuleElementFinder {
                 private final ParserRule rule = (ParserRule) GrammarUtil.findRuleForName(getGrammar(), "hu.bme.mit.inf.dslreasoner.application.ApplicationConfiguration.ObjectiveDeclaration");
                 private final Group cGroup = (Group)rule.eContents().get(1);
@@ -3172,7 +3002,6 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
         private final ImportElements pImport;
         private final EPackageImportElements pEPackageImport;
         private final ViatraImportElements pViatraImport;
-        private final CftImportElements pCftImport;
         private final DeclarationElements pDeclaration;
         private final FileSpecificationElements pFileSpecification;
         private final FileDeclarationElements pFileDeclaration;
@@ -3208,9 +3037,6 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
         private final ObjectiveFunctionElements pObjectiveFunction;
         private final CostObjectiveFunctionElements pCostObjectiveFunction;
         private final CostEntryElements pCostEntry;
-        private final ReliabilityObjectiveFunctionElements pReliabilityObjectiveFunction;
-        private final ReliabiltiyProbabilityElements pReliabiltiyProbability;
-        private final MtffElements pMtff;
         private final ObjectiveDeclarationElements pObjectiveDeclaration;
         private final ObjectiveReferenceElements pObjectiveReference;
         private final ObjectiveElements pObjective;
@@ -3267,7 +3093,6 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 this.pImport = new ImportElements();
                 this.pEPackageImport = new EPackageImportElements();
                 this.pViatraImport = new ViatraImportElements();
-                this.pCftImport = new CftImportElements();
                 this.pDeclaration = new DeclarationElements();
                 this.pFileSpecification = new FileSpecificationElements();
                 this.pFileDeclaration = new FileDeclarationElements();
@@ -3303,9 +3128,6 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 this.pObjectiveFunction = new ObjectiveFunctionElements();
                 this.pCostObjectiveFunction = new CostObjectiveFunctionElements();
                 this.pCostEntry = new CostEntryElements();
-                this.pReliabilityObjectiveFunction = new ReliabilityObjectiveFunctionElements();
-                this.pReliabiltiyProbability = new ReliabiltiyProbabilityElements();
-                this.pMtff = new MtffElements();
                 this.pObjectiveDeclaration = new ObjectiveDeclarationElements();
                 this.pObjectiveReference = new ObjectiveReferenceElements();
                 this.pObjective = new ObjectiveElements();
@@ -3428,7 +3250,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
         //// Imports
         /////////////////////////////////////////////////////
         //Import:
-        //      EPackageImport | ViatraImport | CftImport;
+        //      EPackageImport | ViatraImport;
         public ImportElements getImportAccess() {
                 return pImport;
         }
@@ -3457,16 +3279,6 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 return getViatraImportAccess().getRule();
         }
         
-        //CftImport:
-        //      "import" "reliability" importedCft=[cftLanguage::CftModel|STRING];
-        public CftImportElements getCftImportAccess() {
-                return pCftImport;
-        }
-        
-        public ParserRule getCftImportRule() {
-                return getCftImportAccess().getRule();
-        }
-        
         /////////////////////////////////////////////////////
         //// Declaration
         /////////////////////////////////////////////////////
@@ -3564,7 +3376,8 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
         }
         
         //MetamodelElement:
-        //      (package=[ecore::EPackage|QualifiedName] '::')? classifier=[ecore::EClassifier] ('.' feature=[ecore::ENamedElement])?;
+        //      (package=[ecore::EPackage|QualifiedName] '::')? classifier=[ecore::EClassifier] ('.'
+        //      feature=[ecore::ENamedElement])?;
         public MetamodelElementElements getMetamodelElementAccess() {
                 return pMetamodelElement;
         }
@@ -3814,7 +3627,7 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
         }
         
         //ObjectiveFunction:
-        //      CostObjectiveFunction | ReliabilityObjectiveFunction;
+        //      CostObjectiveFunction;
         public ObjectiveFunctionElements getObjectiveFunctionAccess() {
                 return pObjectiveFunction;
         }
@@ -3843,38 +3656,6 @@ public class ApplicationConfigurationGrammarAccess extends AbstractGrammarElemen
                 return getCostEntryAccess().getRule();
         }
         
-        //ReliabilityObjectiveFunction:
-        //      ReliabiltiyProbability | Mtff;
-        public ReliabilityObjectiveFunctionElements getReliabilityObjectiveFunctionAccess() {
-                return pReliabilityObjectiveFunction;
-        }
-        
-        public ParserRule getReliabilityObjectiveFunctionRule() {
-                return getReliabilityObjectiveFunctionAccess().getRule();
-        }
-        
-        //ReliabiltiyProbability:
-        //      'reliability' (package=[cftLanguage::CftModel|QualifiedName] '::')?
-        //      transformation=[cftLanguage::TransformationDefinition]
-        //      'at' time=REALLiteral;
-        public ReliabiltiyProbabilityElements getReliabiltiyProbabilityAccess() {
-                return pReliabiltiyProbability;
-        }
-        
-        public ParserRule getReliabiltiyProbabilityRule() {
-                return getReliabiltiyProbabilityAccess().getRule();
-        }
-        
-        //Mtff:
-        //      'mtff' (package=[cftLanguage::CftModel|QualifiedName] '::')? transformation=[cftLanguage::TransformationDefinition];
-        public MtffElements getMtffAccess() {
-                return pMtff;
-        }
-        
-        public ParserRule getMtffRule() {
-                return getMtffAccess().getRule();
-        }
-        
         //ObjectiveDeclaration:
         //      'objectives' name=ID specification=ObjectiveSpecification;
         public ObjectiveDeclarationElements getObjectiveDeclarationAccess() {