-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathinput1.dft
58 lines (49 loc) · 1.66 KB
/
input1.dft
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
toplevel "System";
"System" or "IO0" "IO1" "IO2" "IO3";
"IO0" or "IO0_Decision" "IO0_Voting";
"IO0_Voting" and "IO0_VoterA" "IO0_VoterB";
"IO0_Decision" 2of3 "IO0_R" "IO0_G" "IO0_B";
"IO0_R" or "LG_R" "IO0_Controller_R";
"IO0_G" or "LG_G" "IO0_Controller_G";
"IO0_B" or "LG_B" "IO0_Controller_B";
"IO1" or "IO1_Decision" "IO1_Voting";
"IO1_Voting" and "IO1_VoterA" "IO1_VoterB";
"IO1_Decision" 2of3 "IO1_R" "IO1_G" "IO1_B";
"IO1_R" or "LG_R" "IO1_Controller_R";
"IO1_G" or "LG_G" "IO1_Controller_G";
"IO1_B" or "LG_B" "IO1_Controller_B";
"IO2" or "IO2_Decision" "IO2_Voting";
"IO2_Voting" and "IO2_VoterA" "IO2_VoterB";
"IO2_Decision" 2of3 "IO2_R" "IO2_G" "IO2_B";
"IO2_R" or "LG_R" "IO2_Controller_R";
"IO2_G" or "LG_G" "IO2_Controller_G";
"IO2_B" or "LG_B" "IO2_Controller_B";
"IO3" or "IO3_Decision" "IO3_Voting";
"IO3_Voting" and "IO3_VoterA" "IO3_VoterB";
"IO3_Decision" 3of3 "IO3_R" "IO3_G" "IO3_B";
"IO3_R" or "LG_R" "IO3_Controller_R";
"IO3_G" or "LG_G" "IO3_Controller_G";
"IO3_B" or "LG_B" "IO3_Controller_B";
"LG_R" lambda=5.0;
"LG_G" lambda=5.0;
"LG_B" lambda=5.0;
"IO0_Controller_R" lambda=12.75e-4 dorm=0;
"IO0_Controller_G" lambda=7.0 dorm=0;
"IO0_Controller_B" lambda=7.0 dorm=0;
"IO0_VoterA" lambda=2.0 dorm=0;
"IO0_VoterB" lambda=2.0 dorm=0;
"IO1_Controller_R" lambda=7.0;
"IO1_Controller_G" lambda=7.0;
"IO1_Controller_B" lambda=7.0;
"IO1_VoterA" lambda=2.0;
"IO1_VoterB" lambda=2.0;
"IO2_Controller_R" lambda=7.0;
"IO2_Controller_G" lambda=7.0;
"IO2_Controller_B" lambda=7.0;
"IO2_VoterA" lambda=2.0;
"IO2_VoterB" lambda=2.0;
"IO3_Controller_R" lambda=7.0;
"IO3_Controller_G" lambda=7.0;
"IO3_Controller_B" lambda=7.0;
"IO3_VoterA" lambda=2.0;
"IO3_VoterB" lambda=2.0;