Skip to content
This repository was archived by the owner on Feb 2, 2023. It is now read-only.

Commit d0151b3

Browse files
author
Domenico
committed
Edited .gitignore, added test batches
Added test batches from the simulator, changed the .gitignore file to exclude CLion files (for debugging purposes)
1 parent 0b5b932 commit d0151b3

25 files changed

+3920
-1
lines changed

.gitignore

+8-1
Original file line numberDiff line numberDiff line change
@@ -22,11 +22,18 @@
2222

2323
# Executables
2424
*.exe
25-
*.out
2625
*.app
2726
*.i*86
2827
*.x86_64
2928
*.hex
3029

3130
# Debug files
3231
*.dSYM/
32+
33+
# Main executable
34+
main
35+
36+
# CLion files, because it's easier for debugging
37+
cmake-build-debug/
38+
CMakeLists.txt
39+
.idea/

TestCases/1_Monotone/batch1.1.in

+58
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
addent "Elijah_Baley"
2+
addent "Bentley_Baley"
3+
addent "Jesse_Baley"
4+
addent "Gladia_Delmarre"
5+
addent "Han_Fastolfe"
6+
addent "Vasilia_Aliena"
7+
addent "R_Daneel_Olivaw"
8+
addent "R_Giskard_Reventlov"
9+
addent "Kelden_Amadiro"
10+
addent "Santirix_Gremionis"
11+
addent "Rikaine_Delmarre"
12+
report
13+
addent "Jothan_Leebig"
14+
addent "The_Chairman"
15+
addent "R_Jander_Panell"
16+
addent "Hannis_Gruer"
17+
addrel "Elijah_Baley" "Jesse_Baley" "loves"
18+
report
19+
addrel "Gladia_Delmarre" "Elijah_Baley" "loves"
20+
addrel "Rikaine_Delmarre" "Jothan_Leebig" "is_killed_by"
21+
addrel "Jesse_Baley" "Elijah_Baley" "loves"
22+
report
23+
addrel "R_Jander_Panell" "R_Giskard_Reventlov" "is_killed_by"
24+
addrel "Santirix_Gremionis" "Gladia_Delmarre" "loves"
25+
addrel "Gladia_Delmarre" "R_Jander_Panell" "loves"
26+
addrel "Elijah_Baley" "Kelden_Amadiro" "is_killed_by"
27+
addrel "Gladia_Delmarre" "Elijah_Baley" "is_killed_by"
28+
report
29+
addrel "Elijah_Baley" "Gladia_Delmarre" "loves"
30+
addrel "R_Jander_Panell" "Kelden_Amadiro" "is_killed_by"
31+
addrel "Vasilia_Aliena" "Han_Fastolfe" "loves"
32+
report
33+
addrel "Jesse_Baley" "Jothan_Leebig" "is_killed_by"
34+
addrel "Bentley_Baley" "Elijah_Baley" "loves"
35+
report
36+
addrel "Rikaine_Delmarre" "Gladia_Delmarre" "loves"
37+
addrel "R_Jander_Panell" "Kelden_Amadiro" "is_killed_by"
38+
addrel "Santirix_Gremionis" "Vasilia_Aliena" "loves"
39+
addrel "Vasilia_Aliena" "Kelden_Amadiro" "loves"
40+
addrel "Kelden_Amadiro" "R_Daneel_Olivaw" "loves"
41+
report
42+
addrel "Santirix_Gremionis" "Elijah_Baley" "is_killed_by"
43+
addrel "Han_Fastolfe" "Vasilia_Aliena" "loves"
44+
report
45+
addrel "The_Chairman" "Jothan_Leebig" "is_killed_by"
46+
addrel "Hannis_Gruer" "Gladia_Delmarre" "loves"
47+
addrel "R_Daneel_Olivaw" "Vasilia_Aliena" "is_killed_by"
48+
addrel "The_Chairman" "Gladia_Delmarre" "loves"
49+
addrel "R_Giskard_Reventlov" "Gladia_Delmarre" "loves"
50+
addrel "Vasilia_Aliena" "R_Giskard_Reventlov" "loves"
51+
report
52+
addrel "Vasilia_Aliena" "Jesse_Baley" "is_killed_by"
53+
addrel "Kelden_Amadiro" "Han_Fastolfe" "is_killed_by"
54+
addrel "Santirix_Gremionis" "R_Daneel_Olivaw" "loves"
55+
report
56+
addrel "The_Chairman" "Kelden_Amadiro" "is_killed_by"
57+
report
58+
end

TestCases/1_Monotone/batch1.1.py.out

+11
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
none
2+
"loves" "Jesse_Baley" 1;
3+
"is_killed_by" "Jothan_Leebig" 1; "loves" "Elijah_Baley" 2;
4+
"is_killed_by" "Elijah_Baley" "Jothan_Leebig" "Kelden_Amadiro" "R_Giskard_Reventlov" 1; "loves" "Elijah_Baley" 2;
5+
"is_killed_by" "Kelden_Amadiro" 2; "loves" "Elijah_Baley" "Gladia_Delmarre" 2;
6+
"is_killed_by" "Jothan_Leebig" "Kelden_Amadiro" 2; "loves" "Elijah_Baley" 3;
7+
"is_killed_by" "Jothan_Leebig" "Kelden_Amadiro" 2; "loves" "Elijah_Baley" "Gladia_Delmarre" 3;
8+
"is_killed_by" "Elijah_Baley" "Jothan_Leebig" "Kelden_Amadiro" 2; "loves" "Elijah_Baley" "Gladia_Delmarre" 3;
9+
"is_killed_by" "Jothan_Leebig" 3; "loves" "Gladia_Delmarre" 6;
10+
"is_killed_by" "Jothan_Leebig" 3; "loves" "Gladia_Delmarre" 6;
11+
"is_killed_by" "Jothan_Leebig" "Kelden_Amadiro" 3; "loves" "Gladia_Delmarre" 6;

TestCases/1_Monotone/batch1.2.in

+225
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,225 @@
1+
addent "Airiam"
2+
addent "Jonathan_Archer"
3+
addent "Ayala"
4+
addent "Azan"
5+
addent "Reginald_Barclay"
6+
report
7+
addent "Bareil_Antos"
8+
report
9+
addent "Julian_Bashir"
10+
addent "BEtor"
11+
addent "Boothby"
12+
addent "The_Borg_Queen"
13+
addent "Phillip_Boyce"
14+
report
15+
addent "Brunt"
16+
addent "RA_Bryce"
17+
report
18+
addent "Michael_Burnham"
19+
report
20+
addent "Joseph_Carey"
21+
addent "Chakotay"
22+
addent "Christine_Chapel"
23+
addent "Pavel_Chekov"
24+
addent "Chell"
25+
addent "J_M_Colt"
26+
report
27+
addent "Katrina_Cornwell"
28+
addent "Kimara_Cretak"
29+
report
30+
addent "Beverly_Crusher"
31+
addent "Wesley_Crusher"
32+
addent "Hugh_Culber"
33+
addent "Jal_Culluh"
34+
addent "Elizabeth_Cutler"
35+
addent "Leonardo_da_Vinci"
36+
addent "Damar"
37+
addent "Daniels"
38+
addent "Data"
39+
addent "Ezri_Dax"
40+
addrel "Airiam" "Jonathan_Archer" "follower"
41+
addrel "Airiam" "Jonathan_Archer" "follower"
42+
addrel "Airiam" "Jonathan_Archer" "follower"
43+
addrel "Airiam" "Azan" "follower"
44+
addrel "Airiam" "Azan" "follower"
45+
addrel "Airiam" "Azan" "follower"
46+
addrel "Airiam" "Azan" "follower"
47+
report
48+
addrel "Airiam" "Azan" "follower"
49+
addrel "Airiam" "Airiam" "follower"
50+
report
51+
addrel "Airiam" "Airiam" "follower"
52+
addrel "Airiam" "Airiam" "follower"
53+
addrel "Airiam" "Ayala" "follower"
54+
addrel "Airiam" "The_Borg_Queen" "follower"
55+
addrel "Jonathan_Archer" "Ayala" "follower"
56+
addrel "Jonathan_Archer" "Ayala" "follower"
57+
report
58+
addrel "Jonathan_Archer" "Ayala" "follower"
59+
addrel "Jonathan_Archer" "Airiam" "follower"
60+
addrel "Jonathan_Archer" "Airiam" "follower"
61+
addrel "Jonathan_Archer" "Airiam" "follower"
62+
addrel "Jonathan_Archer" "Airiam" "follower"
63+
addrel "Jonathan_Archer" "Airiam" "follower"
64+
addrel "Jonathan_Archer" "Jonathan_Archer" "follower"
65+
report
66+
addrel "Jonathan_Archer" "Jonathan_Archer" "follower"
67+
report
68+
addrel "Jonathan_Archer" "Azan" "follower"
69+
addrel "Jonathan_Archer" "Azan" "follower"
70+
addrel "Jonathan_Archer" "Azan" "follower"
71+
addrel "Jonathan_Archer" "Azan" "follower"
72+
addrel "Jonathan_Archer" "Azan" "follower"
73+
addrel "Jonathan_Archer" "Azan" "follower"
74+
addrel "Jonathan_Archer" "Pavel_Chekov" "follower"
75+
report
76+
addrel "Jonathan_Archer" "Chakotay" "follower"
77+
addrel "Ayala" "Airiam" "follower"
78+
addrel "Reginald_Barclay" "Airiam" "follower"
79+
report
80+
addrel "Reginald_Barclay" "Airiam" "follower"
81+
addrel "Reginald_Barclay" "Airiam" "follower"
82+
addrel "Reginald_Barclay" "Airiam" "follower"
83+
addrel "Reginald_Barclay" "Ayala" "follower"
84+
addrel "Reginald_Barclay" "Azan" "follower"
85+
addrel "Bareil_Antos" "Azan" "follower"
86+
addrel "Bareil_Antos" "Airiam" "follower"
87+
report
88+
addrel "Julian_Bashir" "Jonathan_Archer" "follower"
89+
addrel "BEtor" "Jonathan_Archer" "follower"
90+
addrel "BEtor" "Airiam" "follower"
91+
addrel "Boothby" "Bareil_Antos" "follower"
92+
report
93+
addrel "Boothby" "Azan" "follower"
94+
addrel "Boothby" "Ayala" "follower"
95+
addrel "Phillip_Boyce" "Airiam" "follower"
96+
addrel "Phillip_Boyce" "Airiam" "follower"
97+
addrel "Brunt" "Airiam" "follower"
98+
addrel "RA_Bryce" "Bareil_Antos" "follower"
99+
addrel "Michael_Burnham" "Airiam" "follower"
100+
addrel "Joseph_Carey" "Azan" "follower"
101+
addrel "Chakotay" "Azan" "follower"
102+
addrel "Christine_Chapel" "Ayala" "follower"
103+
addrel "Christine_Chapel" "Airiam" "follower"
104+
addrel "Pavel_Chekov" "Azan" "follower"
105+
addrel "Chell" "Ayala" "follower"
106+
addrel "Chell" "Ayala" "follower"
107+
addrel "J_M_Colt" "Airiam" "follower"
108+
addrel "J_M_Colt" "Azan" "follower"
109+
addrel "Katrina_Cornwell" "Ayala" "follower"
110+
addrel "Kimara_Cretak" "Airiam" "follower"
111+
addrel "Beverly_Crusher" "Airiam" "follower"
112+
addrel "Wesley_Crusher" "Chakotay" "follower"
113+
addrel "Hugh_Culber" "Azan" "follower"
114+
addrel "Jal_Culluh" "Jonathan_Archer" "follower"
115+
addrel "Elizabeth_Cutler" "Airiam" "follower"
116+
addrel "Leonardo_da_Vinci" "Ayala" "follower"
117+
report
118+
addrel "Damar" "Azan" "follower"
119+
addrel "Daniels" "Azan" "follower"
120+
addrel "Data" "Brunt" "follower"
121+
addrel "Ezri_Dax" "Jonathan_Archer" "follower"
122+
addent "Airiam"
123+
addent "Jonathan_Archer"
124+
addent "Ayala"
125+
addent "Azan"
126+
addent "Reginald_Barclay"
127+
addent "Bareil_Antos"
128+
addent "Julian_Bashir"
129+
addent "BEtor"
130+
addent "Boothby"
131+
addent "The_Borg_Queen"
132+
addent "Phillip_Boyce"
133+
addent "Brunt"
134+
addent "RA_Bryce"
135+
addent "Michael_Burnham"
136+
addent "Joseph_Carey"
137+
addent "Chakotay"
138+
addent "Christine_Chapel"
139+
addent "Pavel_Chekov"
140+
addent "Chell"
141+
addent "J_M_Colt"
142+
addent "Katrina_Cornwell"
143+
addent "Kimara_Cretak"
144+
addent "Beverly_Crusher"
145+
report
146+
addent "Wesley_Crusher"
147+
addent "Hugh_Culber"
148+
report
149+
addent "Jal_Culluh"
150+
addent "Elizabeth_Cutler"
151+
addent "Leonardo_da_Vinci"
152+
addent "Damar"
153+
addent "Daniels"
154+
addent "Data"
155+
addent "Ezri_Dax"
156+
addrel "Airiam" "Jonathan_Archer" "admirer"
157+
report
158+
addrel "Airiam" "Airiam" "admirer"
159+
addrel "Jonathan_Archer" "Ayala" "admirer"
160+
addrel "Jonathan_Archer" "Azan" "admirer"
161+
addrel "Ayala" "Airiam" "admirer"
162+
addrel "Ayala" "Airiam" "admirer"
163+
addrel "Ayala" "Airiam" "admirer"
164+
addrel "Ayala" "Ayala" "admirer"
165+
addrel "Ayala" "Ayala" "admirer"
166+
addrel "Ayala" "Reginald_Barclay" "admirer"
167+
report
168+
addrel "Azan" "Jonathan_Archer" "admirer"
169+
report
170+
addrel "Azan" "Reginald_Barclay" "admirer"
171+
addrel "Azan" "Airiam" "admirer"
172+
addrel "Azan" "Airiam" "admirer"
173+
addrel "Azan" "Airiam" "admirer"
174+
addrel "Azan" "Hugh_Culber" "admirer"
175+
addrel "Azan" "Ayala" "admirer"
176+
report
177+
addrel "Azan" "Leonardo_da_Vinci" "admirer"
178+
addrel "Bareil_Antos" "Airiam" "admirer"
179+
addrel "Bareil_Antos" "Airiam" "admirer"
180+
report
181+
addrel "Bareil_Antos" "Airiam" "admirer"
182+
addrel "Bareil_Antos" "Airiam" "admirer"
183+
addrel "Bareil_Antos" "Jonathan_Archer" "admirer"
184+
addrel "Bareil_Antos" "Jonathan_Archer" "admirer"
185+
report
186+
addrel "Bareil_Antos" "BEtor" "admirer"
187+
report
188+
addrel "Bareil_Antos" "BEtor" "admirer"
189+
addrel "Bareil_Antos" "Ayala" "admirer"
190+
addrel "Bareil_Antos" "Ayala" "admirer"
191+
addrel "Julian_Bashir" "Airiam" "admirer"
192+
addrel "Boothby" "Jonathan_Archer" "admirer"
193+
addrel "The_Borg_Queen" "Airiam" "admirer"
194+
addrel "The_Borg_Queen" "Ayala" "admirer"
195+
report
196+
addrel "The_Borg_Queen" "Ayala" "admirer"
197+
addrel "Phillip_Boyce" "Airiam" "admirer"
198+
addrel "Phillip_Boyce" "Airiam" "admirer"
199+
addrel "Brunt" "Ayala" "admirer"
200+
addrel "RA_Bryce" "Airiam" "admirer"
201+
addrel "Michael_Burnham" "Airiam" "admirer"
202+
addrel "Joseph_Carey" "Airiam" "admirer"
203+
addrel "Chakotay" "Airiam" "admirer"
204+
report
205+
addrel "Chakotay" "Chell" "admirer"
206+
addrel "Christine_Chapel" "Jonathan_Archer" "admirer"
207+
addrel "Christine_Chapel" "Ayala" "admirer"
208+
addrel "Christine_Chapel" "Airiam" "admirer"
209+
addrel "Pavel_Chekov" "Airiam" "admirer"
210+
report
211+
addrel "J_M_Colt" "Airiam" "admirer"
212+
addrel "Katrina_Cornwell" "Airiam" "admirer"
213+
report
214+
addrel "Kimara_Cretak" "Michael_Burnham" "admirer"
215+
addrel "Beverly_Crusher" "Ayala" "admirer"
216+
addrel "Wesley_Crusher" "Airiam" "admirer"
217+
addrel "Hugh_Culber" "Airiam" "admirer"
218+
addrel "Jal_Culluh" "Katrina_Cornwell" "admirer"
219+
addrel "Elizabeth_Cutler" "Jonathan_Archer" "admirer"
220+
addrel "Damar" "Airiam" "admirer"
221+
addrel "Daniels" "Jonathan_Archer" "admirer"
222+
addrel "Data" "Airiam" "admirer"
223+
addrel "Ezri_Dax" "Jonathan_Archer" "admirer"
224+
report
225+
end

TestCases/1_Monotone/batch1.2.py.out

+31
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
none
2+
none
3+
none
4+
none
5+
none
6+
none
7+
none
8+
"follower" "Azan" "Jonathan_Archer" 1;
9+
"follower" "Airiam" "Azan" "Jonathan_Archer" 1;
10+
"follower" "Ayala" 2;
11+
"follower" "Airiam" "Ayala" "Jonathan_Archer" 2;
12+
"follower" "Airiam" "Ayala" "Jonathan_Archer" 2;
13+
"follower" "Airiam" "Ayala" "Azan" "Jonathan_Archer" 2;
14+
"follower" "Airiam" 4;
15+
"follower" "Airiam" 5;
16+
"follower" "Airiam" 6;
17+
"follower" "Airiam" 14;
18+
"follower" "Airiam" 14;
19+
"follower" "Airiam" 14;
20+
"admirer" "Jonathan_Archer" 1; "follower" "Airiam" 14;
21+
"admirer" "Airiam" "Ayala" 2; "follower" "Airiam" 14;
22+
"admirer" "Airiam" "Ayala" "Jonathan_Archer" 2; "follower" "Airiam" 14;
23+
"admirer" "Airiam" "Ayala" 3; "follower" "Airiam" 14;
24+
"admirer" "Airiam" 4; "follower" "Airiam" 14;
25+
"admirer" "Airiam" 4; "follower" "Airiam" 14;
26+
"admirer" "Airiam" 4; "follower" "Airiam" 14;
27+
"admirer" "Airiam" 6; "follower" "Airiam" 14;
28+
"admirer" "Airiam" 11; "follower" "Airiam" 14;
29+
"admirer" "Airiam" 13; "follower" "Airiam" 14;
30+
"admirer" "Airiam" 15; "follower" "Airiam" 14;
31+
"admirer" "Airiam" 19; "follower" "Airiam" 14;

0 commit comments

Comments
 (0)