Skip to content

Commit 2bdba9b

Browse files
wsy541wsy541
authored
Add files via upload
0 parents  commit 2bdba9b

6 files changed

+581
-0
lines changed

‎CCML_for_ACMS.txt

+39
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
parameters:
2+
Aircraft Cabin:
3+
string c1=first class [property c1]
4+
string c2=business class [property c2]
5+
string c3=economy class [property c3]
6+
string c4=infant ticket [property c4]
7+
Region:
8+
string r1=domestic
9+
string r2=global [property global]
10+
Student Not:
11+
boolean s1=false
12+
boolean s2=true [if c3][property s2]
13+
environments:
14+
Luggage Weight:
15+
int w1<=40 [if c1] [property w1]
16+
int w2>40 [if c1] [property w2]
17+
int w3<=30 [if global and s2] [if c2] [property w3]
18+
int w4>30 [if global and s2] [if c2] [property w4]
19+
int w5<=20 [if s2 and not_global] [if c3 and not_s2] [property w5]
20+
int w6>20 [if s2 and not_global] [if c3 and not_s2] [property w6]
21+
int w7=0 [if c4] [property w7]
22+
int w8>0 [if c4] [property w8]
23+
Airfare:
24+
int e1=0 [property e1]
25+
int e2>0 [property e2]
26+
outputs:
27+
Luggage Fee:
28+
int f1=0 [if e1] [if w1 or w3 or w5 or w7]
29+
int f2>0 [if e2 and w2][if e2 and w4][if e2 and w6][if e2 and w8]
30+
31+
MR_spec:{ACMSr1}
32+
iteNumbers:1
33+
34+
MR ACMSr1:
35+
input:[ c2,r2,s1,w3,e2 ]
36+
follow-input:[ c2,r2,s1,w3,e1 ]
37+
output:[f1]
38+
follow-output:[f2]
39+
relation:f1=f2;

‎CCML_for_CUBS.txt

+71
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,71 @@
1+
parameters:
2+
Plan Type:
3+
string t1=A [property A]
4+
string t2=B [property B]
5+
Plan Fee:
6+
int f1=46 [property f46]
7+
int f2=96 [property f96]
8+
int f3=126 [if B] [property f126]
9+
int f4=186 [if B] [property f186]
10+
int f5=286 [if A] [property f286]
11+
int f6=886 [if A] [property f886]
12+
environments:
13+
Talk:
14+
int time1<=50 [if A and f46] [property time1]
15+
int time2>50 [if A and f46][property time2]
16+
int time3<=96 [if A and f96][property time3]
17+
int time4>96 [if A and f96][property time4]
18+
int time5<=286 [if A and f286][property time5]
19+
int time6>286 [if A and f286][property time6]
20+
int time7<=3000 [if A and f886][property time7]
21+
int time8>3000 [if A and f886][property time8]
22+
int time9<=120 [if B and f46][property time9]
23+
int time10>120 [if B and f46][property time10]
24+
int time11<=450 [if B and f96][property time11]
25+
int time12>450 [if B and f96][property time12]
26+
int time13<=680 [if B and f126][property time13]
27+
int time14>680 [if B and f126][property time14]
28+
int time15<=1180 [if B and f186][property time15]
29+
int time16>1180 [if B and f186][property time16]
30+
31+
Flow:
32+
int flow1<=150 [if A and f46][property flow1]
33+
int flow2>150 [if A and f46][property flow2]
34+
int flow3<=240 [if A and f96][property flow3]
35+
int flow4>240 [if A and f96][property flow4]
36+
int flow5<=900 [if A and f286][property flow5]
37+
int flow6>900 [if A and f286][property flow6]
38+
int flow7<=3000 [if A and f886][property flow7]
39+
int flow8>3000 [if A and f886][property flow8]
40+
int flow9<=40 [if B and f46][property flow9]
41+
int flow10>40 [if B and f46][property flow10]
42+
int flow11<=80 [if B and f96][property flow11]
43+
int flow12>80 [if B and f96][property flow12]
44+
int flow13<=100 [if B and f126][property flow13]
45+
int flow14>100 [if B and f126][property flow14]
46+
int flow15<=150 [if B and f186][property flow15]
47+
int flow16>150 [if B and f186][property flow16]
48+
outputs:
49+
Charge:
50+
int c1=f1 [if time1 and flow1][if time9 and flow9]
51+
int c2>f1 [if time2] [if flow2] [if time10] [if flow10]
52+
int c3=f2 [if time3 and flow3] [if time11 and flow11]
53+
int c4>f2 [if time4] [if flow4] [if time12] [if flow12]
54+
int c5=f3 [if time13 and flow13]
55+
int c6>f3 [if time14] [if flow14]
56+
int c7=f4 [if time15 and flow15]
57+
int c8>f4 [if time16] [if flow16]
58+
int c9=f5 [if time5 and flow5]
59+
int c10>f5 [if time6] [if flow6]
60+
int c11=f6 [if time7 and flow7]
61+
int c12>f6 [if time8] [if flow8]
62+
63+
64+
MR_spec:{r1}
65+
iteNumbers:1
66+
MR r1:
67+
input:[ t2,f2,time12,flow12 ]
68+
follow-input:[ t2,f2,time11,flow12 ]
69+
output:[c4]
70+
follow-output:[c4]
71+
relation:c4>c4;

‎CCML_for_ERS.txt

+44
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
parameters:
2+
Staff Level:
3+
string l1=senior sales manager [property l1]
4+
string l2=sales manager [property l2]
5+
string l3=sales supervisor [property l3]
6+
Mileage:
7+
int y1 (- [0,3000] [if not_l3] [property y1]
8+
int y2 (- (3000,4000] [if not_l3] [property y2]
9+
int y3 >4000 [if not_l3] [property y3]
10+
string y4=NULL [if l3] [property y4]
11+
Monthly Sales Amount:
12+
double s1 (- [0.00,50000.00) [property s1]
13+
double s2 (- [50000.00,80000.00) [property s2]
14+
double s3 (- [80000.00,100000.00) [property s3]
15+
double s4>=100000.00 [property s4]
16+
Airfare:
17+
double f1=0.00 [property f1]
18+
double f2>0.00 [property f2]
19+
environments:
20+
Other Expenses:
21+
double e1=0.00 [if s4] [property e1]
22+
double e2>0.00 [if s4] [property e2]
23+
string e3=NULL [if not_s4] [property e3]
24+
outputs:
25+
Fee for the Use of Car:
26+
double c1=0.00 [if y4] [if l1 and not_y3] [if l2 and y1]
27+
double c2>0.00 [if y3 and l1] [if l2 and not_y1]
28+
29+
Actual Reimbursement of Airfare:
30+
double a1=0.00 [if f1]
31+
double a2>0.00 [if l1 and f2] [if l2 and not_s1 and f2] [if l3 and s3 and f2] [if l3 and s4 and f2]
32+
33+
Actual Reimbursement of Other:
34+
double o1=0.00 [if not_e2]
35+
double o2>0.00 [if e2]
36+
37+
MR_spec:{ERSr1}
38+
iteNumbers:1
39+
MR ERSr1:
40+
input:[ l1,y3,s4,f2,e2]
41+
follow-input:[ l3,y4,s4,f2,e2]
42+
output:[c2,a2,o2]
43+
follow-output:[c1,a2,o2]
44+
relation: c2 > c1;

‎CCML_for_MOS.txt

+107
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,107 @@
1+
parameters:
2+
Aircraft model:
3+
int model1=747200 [property m1]
4+
int model2=747300 [property m2]
5+
int model3=747400 [property m3]
6+
int model4=647200 [property m4]
7+
int model5=647300 [property m5]
8+
Change crew:
9+
boolean cc1=true [property c1]
10+
boolean cc2=false [property c2]
11+
crew numbers:
12+
int crewnumbers1>10 [if m1 and c1] [property crew1]
13+
int crewnumbers2=10 [if m1 and c2] [property crew2]
14+
int crewnumbers3<10 [if m1 and c1] [property crew3]
15+
int crewnumbers4>12 [if m2 and c1] [property crew4]
16+
int crewnumbers5=12 [if m2 and c2] [property crew5]
17+
int crewnumbers6<12 [if m2 and c1] [property crew6]
18+
int crewnumbers7>14 [if m3 and c1] [if m5 and c1] [property crew7]
19+
int crewnumbers8=14 [if m3 and c2] [if m5 and c2] [property crew8]
20+
int crewnumbers9<14 [if m3 and c1] [if m5 and c1] [property crew9]
21+
int crewnumbers10>13 [if m4 and c1] [property crew10]
22+
int crewnumbers11=13 [if m4 and c2] [property crew11]
23+
int crewnumbers12<13 [if m4 and c1] [property crew12]
24+
Change pilot:
25+
boolean cp1=true [property p1]
26+
boolean cp2=false [property p2]
27+
pilots numbers:
28+
int pilotsnumbers1=3 [if m2 and p2] [if m3 and p2] [if m5 and p2] [property pilot1]
29+
int pilotsnumbers2>3 [if m2 and p1] [if m3 and p1] [if m5 and p1] [property pilot2]
30+
int pilotsnumbers3<3 [if m2 and p1] [if m3 and p1] [if m5 and p1] [property pilot3]
31+
int pilotsnumbers4=2 [if m1 and p2] [if m4 and p2] [property pilot4]
32+
int pilotsnumbers5>2 [if m1 and p1] [if m4 and p1] [property pilot5]
33+
int pilotsnumbers6<2 [if m1 and p1] [if m4 and p1] [property pilot6]
34+
35+
child passengers numbers:
36+
int childnumbers1=0 [property child1]
37+
int childnumbers2>0 [property child2]
38+
environments:
39+
Requested Flowers:
40+
int flowers1=0 [property flower1]
41+
int flowers2>0 [property flower2]
42+
43+
outputs:
44+
First Class Meals:
45+
int f1=0 [if m1][if m4]
46+
int f2=10 [if m2]
47+
int f3=20 [if m3][if m5]
48+
49+
Business Class Meals:
50+
int b1=40 [if m1]
51+
int b2=50 [if m2]
52+
int b3=60 [if m3]
53+
int b4=70 [if m4]
54+
int b5=80 [if m5]
55+
56+
Economic Class Meals:
57+
int e1=300 [if m1]
58+
int e2=400 [if m2]
59+
int e3=480 [if m3]
60+
int e4=420 [if m4]
61+
int e5=430 [if m5]
62+
63+
Crew Meals:
64+
int c1>20 [if crew1]
65+
int c2=20 [if crew2]
66+
int c3<20 [if crew3]
67+
int c4>24 [if crew4]
68+
int c5=24 [if crew5]
69+
int c6<24 [if crew6]
70+
int c7>28 [if crew7]
71+
int c8=28 [if crew8]
72+
int c9<28 [if crew9]
73+
int c10>26 [if crew10]
74+
int c11=26 [if crew11]
75+
int c12<26 [if crew12]
76+
77+
Pilots Meals:
78+
int p1>6 [if pilot1]
79+
int p2=6 [if pilot2]
80+
int p3<6 [if pilot3]
81+
int p4>4 [if pilot4]
82+
int p5=4 [if pilot5]
83+
int p6<4 [if pilot6]
84+
85+
Child Meals:
86+
int ch1>0 [if child2]
87+
int ch2=0 [if child1]
88+
89+
Flower Meals:
90+
int fl1>0 [if flower2]
91+
int fl2=0 [if flower1]
92+
93+
MR_spec:{r1}
94+
iteNumbers:1
95+
MR r1:
96+
input:[ crewnumbers9 ]
97+
follow-input:[ crewnumbers9=14 ]
98+
output:[c9]
99+
follow-output:[c9>c9 ]
100+
relation:c9>0;
101+
102+
MR MOSr1:
103+
input:[ model4,crewnumbers12,pilotsnumbers4,childnumbers1,flowers1]
104+
follow-input:[ model4,crewnumbers12,pilotsnumbers5,childnumbers1,flowers1 ]
105+
output:[f1,b4,e4,c12,p5,ch2,fl2]
106+
follow-output:[f1,b4,e4,c12,p4,ch2,fl2 ]
107+
relation:p5<p4;

0 commit comments

Comments
 (0)