2020-01-27 13:20:31 +00:00
|
|
|
constant default_min_val = -1e9 : double_type, hidden;
|
|
|
|
constant default_max_val = +1e9 : double_type, hidden;
|
2019-10-11 16:46:38 +00:00
|
|
|
|
|
|
|
concept param_value_min(default_min_val) {
|
2020-01-27 13:20:31 +00:00
|
|
|
-150 = { pid=165; }
|
|
|
|
-100 = { pid=166; }
|
|
|
|
0 = { pid=260260; }
|
|
|
|
0 = { pid=228028; }
|
|
|
|
0 = { pid=49; }
|
|
|
|
0 = { pid=207; }
|
|
|
|
25 = { pid=168; }
|
|
|
|
0 = { pid=260242; }
|
|
|
|
160 = { pid=167; }
|
|
|
|
-0.1 = { pid=260428; }
|
|
|
|
-0.1 = { pid=260423; }
|
|
|
|
-1e+09 = { pid=260427; }
|
|
|
|
0 = { pid=260509; }
|
|
|
|
5 = { pid=151175; }
|
|
|
|
0 = { pid=260257; }
|
|
|
|
0 = { pid=59; }
|
|
|
|
-60000 = { pid=228001; }
|
|
|
|
-0.05 = { pid=228143; }
|
|
|
|
0 = { pid=151163; }
|
|
|
|
-3.5 = { pid=151131; }
|
|
|
|
-100000 = { pid=180; }
|
|
|
|
-10 = { pid=260259; }
|
|
|
|
-13000 = { pid=129; }
|
|
|
|
-1300 = { pid=156; }
|
|
|
|
0 = { pid=3075; }
|
|
|
|
0 = { pid=172; }
|
|
|
|
-0.05 = { pid=3062; }
|
|
|
|
0 = { pid=260210; }
|
|
|
|
0 = { pid=3073; }
|
|
|
|
160 = { pid=121; }
|
|
|
|
85000 = { pid=151; }
|
|
|
|
270 = { pid=151126; }
|
|
|
|
-1 = { pid=140230; }
|
|
|
|
0 = { pid=140221; }
|
|
|
|
0 = { pid=3074; }
|
|
|
|
150 = { pid=122; }
|
|
|
|
0 = { pid=140214; }
|
|
|
|
-3.5 = { pid=151132; }
|
|
|
|
-100000 = { pid=181; }
|
|
|
|
0 = { pid=151225; }
|
|
|
|
-1300 = { pid=228002; }
|
|
|
|
0 = { pid=140231; }
|
|
|
|
0 = { pid=260430; }
|
|
|
|
170 = { pid=3; }
|
|
|
|
-1 = { pid=60; }
|
|
|
|
100 = { pid=54; }
|
|
|
|
0 = { pid=157; }
|
|
|
|
-4 = { pid=151145; }
|
|
|
|
0 = { pid=151219; }
|
|
|
|
160 = { pid=34; }
|
|
|
|
0 = { pid=31; }
|
|
|
|
0 = { pid=174098; }
|
|
|
|
0 = { pid=140229; }
|
|
|
|
120 = { pid=235; }
|
|
|
|
20 = { pid=228032; }
|
|
|
|
10 = { pid=33; }
|
|
|
|
0 = { pid=3066; }
|
|
|
|
-1e-10 = { pid=228141; }
|
|
|
|
-1 = { pid=228144; }
|
|
|
|
0.005 = { pid=260367; }
|
|
|
|
-1000 = { pid=260364; }
|
|
|
|
0 = { pid=228039; }
|
|
|
|
0 = { pid=228087; }
|
|
|
|
-20 = { pid=228086; }
|
|
|
|
170 = { pid=260360; }
|
|
|
|
170 = { pid=228139; }
|
|
|
|
170 = { pid=228096; }
|
|
|
|
170 = { pid=228095; }
|
|
|
|
0 = { pid=43; }
|
|
|
|
0 = { pid=247; }
|
|
|
|
0 = { pid=246; }
|
|
|
|
-0.1 = { pid=133; }
|
|
|
|
0 = { pid=189; }
|
|
|
|
-1e+08 = { pid=147; }
|
|
|
|
-1e+07 = { pid=176; }
|
|
|
|
-1e+08 = { pid=177; }
|
|
|
|
43000 = { pid=134; }
|
|
|
|
0 = { pid=173; }
|
|
|
|
-0.001 = { pid=174008; }
|
|
|
|
-1e+08 = { pid=146; }
|
|
|
|
-10 = { pid=169; }
|
|
|
|
140 = { pid=130; }
|
|
|
|
-0.1 = { pid=260264; }
|
|
|
|
-1e+08 = { pid=179; }
|
|
|
|
-1e-06 = { pid=228164; }
|
|
|
|
-3 = { pid=260057; }
|
|
|
|
-50 = { pid=136; }
|
|
|
|
-0.05 = { pid=228228; }
|
|
|
|
-250 = { pid=131; }
|
|
|
|
-250 = { pid=132; }
|
|
|
|
-30 = { pid=135; }
|
|
|
|
0 = { pid=260199; }
|
|
|
|
-0.001 = { pid=228205; }
|
|
|
|
0 = { pid=3031; }
|
|
|
|
0 = { pid=10; }
|
|
|
|
} : double_type, hidden;
|
|
|
|
|
2019-10-11 16:46:38 +00:00
|
|
|
concept param_value_max(default_max_val) {
|
2020-01-27 13:20:31 +00:00
|
|
|
150 = { pid=165; }
|
|
|
|
100 = { pid=166; }
|
|
|
|
360.1 = { pid=260260; }
|
|
|
|
140 = { pid=228028; }
|
|
|
|
100 = { pid=49; }
|
|
|
|
300 = { pid=207; }
|
|
|
|
350 = { pid=168; }
|
|
|
|
160 = { pid=260242; }
|
|
|
|
370 = { pid=167; }
|
|
|
|
1e+09 = { pid=260428; }
|
|
|
|
1e+09 = { pid=260423; }
|
|
|
|
0.1 = { pid=260427; }
|
|
|
|
100 = { pid=260509; }
|
|
|
|
50 = { pid=151175; }
|
|
|
|
100 = { pid=260257; }
|
|
|
|
40000 = { pid=59; }
|
|
|
|
5 = { pid=228001; }
|
|
|
|
130 = { pid=228143; }
|
|
|
|
1500 = { pid=151163; }
|
|
|
|
3.5 = { pid=151131; }
|
|
|
|
100000 = { pid=180; }
|
|
|
|
5 = { pid=260259; }
|
|
|
|
350000 = { pid=129; }
|
|
|
|
35000 = { pid=156; }
|
|
|
|
100 = { pid=3075; }
|
|
|
|
1 = { pid=172; }
|
|
|
|
130 = { pid=3062; }
|
|
|
|
1 = { pid=260210; }
|
|
|
|
100 = { pid=3073; }
|
|
|
|
380 = { pid=121; }
|
|
|
|
125000 = { pid=151; }
|
|
|
|
308 = { pid=151126; }
|
|
|
|
360.5 = { pid=140230; }
|
|
|
|
35 = { pid=140221; }
|
|
|
|
100 = { pid=3074; }
|
|
|
|
330 = { pid=122; }
|
|
|
|
35 = { pid=140214; }
|
|
|
|
3.5 = { pid=151132; }
|
|
|
|
100000 = { pid=181; }
|
|
|
|
4000 = { pid=151225; }
|
|
|
|
8888 = { pid=228002; }
|
|
|
|
50 = { pid=140231; }
|
|
|
|
30 = { pid=260430; }
|
|
|
|
1200 = { pid=3; }
|
|
|
|
1 = { pid=60; }
|
|
|
|
108000 = { pid=54; }
|
|
|
|
180 = { pid=157; }
|
|
|
|
4 = { pid=151145; }
|
|
|
|
50 = { pid=151219; }
|
|
|
|
320 = { pid=34; }
|
|
|
|
1.001 = { pid=31; }
|
|
|
|
15 = { pid=174098; }
|
|
|
|
35 = { pid=140229; }
|
|
|
|
380 = { pid=235; }
|
|
|
|
100 = { pid=228032; }
|
|
|
|
1000 = { pid=33; }
|
|
|
|
5 = { pid=3066; }
|
|
|
|
15000 = { pid=228141; }
|
|
|
|
50 = { pid=228144; }
|
|
|
|
100 = { pid=260367; }
|
|
|
|
1000 = { pid=260364; }
|
|
|
|
2000 = { pid=228039; }
|
|
|
|
2000 = { pid=228087; }
|
|
|
|
2000 = { pid=228086; }
|
|
|
|
350 = { pid=260360; }
|
|
|
|
350 = { pid=228139; }
|
|
|
|
350 = { pid=228096; }
|
|
|
|
350 = { pid=228095; }
|
|
|
|
10 = { pid=43; }
|
|
|
|
0.01 = { pid=247; }
|
|
|
|
1e+06 = { pid=246; }
|
|
|
|
0.1 = { pid=133; }
|
|
|
|
3600 = { pid=189; }
|
|
|
|
1e+08 = { pid=147; }
|
|
|
|
1e+07 = { pid=176; }
|
|
|
|
1e+06 = { pid=177; }
|
|
|
|
115000 = { pid=134; }
|
|
|
|
10 = { pid=173; }
|
|
|
|
100 = { pid=174008; }
|
|
|
|
1e+08 = { pid=146; }
|
|
|
|
1e+09 = { pid=169; }
|
|
|
|
400 = { pid=130; }
|
|
|
|
1e+09 = { pid=260264; }
|
|
|
|
-1000 = { pid=179; }
|
|
|
|
101 = { pid=228164; }
|
|
|
|
150 = { pid=260057; }
|
|
|
|
220 = { pid=136; }
|
|
|
|
130 = { pid=228228; }
|
|
|
|
250 = { pid=131; }
|
|
|
|
250 = { pid=132; }
|
|
|
|
30 = { pid=135; }
|
|
|
|
1 = { pid=260199; }
|
|
|
|
30 = { pid=228205; }
|
|
|
|
360.1 = { pid=3031; }
|
|
|
|
300 = { pid=10; }
|
|
|
|
} : double_type, hidden;
|