Add reliability probability and mtff objectives

1 files changed, 39 insertions, 35 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
index 17aa6491..59db2464 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
@@ -1,53 +1,55 @@
-'#'=34
-'*'=42
-'+='=35
+'#'=36
+'*'=44
+'+='=37
 ','=20
 '-'=12
 '.'=11
-'..'=43
+'..'=45
 '::'=24
-'<'=36
-'<='=56
+'<'=38
+'<='=58
 '='=18
-'>'=37
-'>='=57
-'AlloySolver'=62
-'SMTSolver'=61
-'ViatraSolver'=63
-'config'=30
+'>'=39
+'>='=59
+'AlloySolver'=64
+'SMTSolver'=63
+'ViatraSolver'=65
+'at'=29
+'config'=32
 'constraints'=28
-'debug'=50
+'debug'=52
 'epackage'=14
 'excluding'=23
 'file'=17
 'folder'=26
-'full'=60
-'generate'=45
+'full'=62
+'generate'=47
 'import'=13
-'int'=39
-'log'=51
-'log-level'=31
-'maximize'=55
-'memory'=33
+'int'=41
+'log'=53
+'log-level'=33
+'maximize'=57
+'memory'=35
 'metamodel'=25
-'minimize'=54
+'minimize'=56
 'models'=27
-'node'=38
-'none'=58
-'normal'=59
-'number'=47
-'objectives'=29
-'output'=53
+'mtff'=30
+'node'=40
+'none'=60
+'normal'=61
+'number'=49
+'objectives'=31
+'output'=55
 'package'=22
-'partial-model'=46
-'real'=40
+'partial-model'=48
+'real'=42
 'reliability'=16
-'runs'=48
-'runtime'=32
-'scope'=44
-'solver'=49
-'statistics'=52
-'string'=41
+'runs'=50
+'runtime'=34
+'scope'=46
+'solver'=51
+'statistics'=54
+'string'=43
 'viatra'=15
 '{'=19
 '}'=21
@@ -111,3 +113,5 @@ T__60=60
 T__61=61
 T__62=62
 T__63=63
+T__64=64
+T__65=65