blob: 628ef22e20617d4d0b3371661899ab81e176432d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
|
'#'=49
'*'=64
'+='=63
','=33
'-'=24
'.'=23
'..'=54
'::'=36
'<'=13
'<='=15
'='=30
'>'=14
'>='=16
'AlloySolver'=21
'SMTSolver'=20
'ViatraSolver'=22
'at'=42
'config'=45
'constraints'=40
'cost'=41
'debug'=59
'epackage'=26
'excluding'=35
'file'=29
'folder'=38
'full'=19
'generate'=56
'import'=25
'int'=51
'log'=60
'log-level'=46
'maximize'=12
'memory'=48
'metamodel'=37
'minimize'=11
'models'=39
'mtff'=43
'node'=50
'none'=17
'normal'=18
'number'=65
'objectives'=44
'output'=62
'package'=34
'partial-model'=57
'real'=52
'reliability'=28
'runs'=66
'runtime'=47
'scope'=55
'solver'=58
'statistics'=61
'string'=53
'viatra'=27
'{'=31
'}'=32
RULE_ANY_OTHER=10
RULE_ID=4
RULE_INT=5
RULE_ML_COMMENT=7
RULE_SL_COMMENT=8
RULE_STRING=6
RULE_WS=9
T__11=11
T__12=12
T__13=13
T__14=14
T__15=15
T__16=16
T__17=17
T__18=18
T__19=19
T__20=20
T__21=21
T__22=22
T__23=23
T__24=24
T__25=25
T__26=26
T__27=27
T__28=28
T__29=29
T__30=30
T__31=31
T__32=32
T__33=33
T__34=34
T__35=35
T__36=36
T__37=37
T__38=38
T__39=39
T__40=40
T__41=41
T__42=42
T__43=43
T__44=44
T__45=45
T__46=46
T__47=47
T__48=48
T__49=49
T__50=50
T__51=51
T__52=52
T__53=53
T__54=54
T__55=55
T__56=56
T__57=57
T__58=58
T__59=59
T__60=60
T__61=61
T__62=62
T__63=63
T__64=64
T__65=65
T__66=66
|
