Skip to content

Commit 3eea0c1

Browse files
MinimuinoMinimuino
committed
Added some examples. Several bugfixes.
1 parent dbe5791 commit 3eea0c1

24 files changed

+780
-7
lines changed

‎examples/first_order/existential_only/1_a.kv

+19
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'p', [False, True, False, False]
4+
#line: 0, {0: [1], 1: [0]}
5+
6+
RootWidget:
7+
pos: [0, 0]
8+
size: [876.35, 669.0]
9+
NexusWidget:
10+
pos: [489.0, 331.0]
11+
size: [12, 12]
12+
color: .800, .800, .800
13+
line_info: [(0, 1)]
14+
AtomWidget:
15+
pos: [256.0, 328.0]
16+
size: [11, 20]
17+
color: .800, .800, .800
18+
text: 'p'
19+
line_info: [(0, 0)]

‎examples/first_order/existential_only/1_b.kv

+21
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [True, False, False, False]
4+
#name: 'p', [False, True, False, False]
5+
#line: 0, {0: [1], 1: [0]}
6+
7+
RootWidget:
8+
pos: [0, 0]
9+
size: [876.35, 669.0]
10+
AtomWidget:
11+
pos: [572.0, 327.99999999999994]
12+
size: [11, 20]
13+
color: .800, .800, .800
14+
text: 'q'
15+
line_info: [(0, 1)]
16+
AtomWidget:
17+
pos: [256.0, 328.0]
18+
size: [11, 20]
19+
color: .800, .800, .800
20+
text: 'p'
21+
line_info: [(0, 0)]

‎examples/first_order/existential_only/1_c.kv

+33
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [True, False, False, False]
4+
#name: 'p', [False, True, False, False]
5+
#name: 'r', [False, False, False, True]
6+
#line: 0, {0: [1], 1: [0, 2, 3], 2: [1], 3: [1]}
7+
8+
RootWidget:
9+
pos: [0, 0]
10+
size: [876.35, 669.0]
11+
NexusWidget:
12+
pos: [418.0, 332.0]
13+
size: [12, 12]
14+
color: .800, .800, .800
15+
line_info: [(0, 1)]
16+
AtomWidget:
17+
pos: [426.0, 481.99999999999994]
18+
size: [7, 20]
19+
color: .800, .800, .800
20+
text: 'r'
21+
line_info: [(0, 3)]
22+
AtomWidget:
23+
pos: [252.0, 274.0]
24+
size: [11, 20]
25+
color: .800, .800, .800
26+
text: 'p'
27+
line_info: [(0, 0)]
28+
AtomWidget:
29+
pos: [568.0, 273.99999999999994]
30+
size: [11, 20]
31+
color: .800, .800, .800
32+
text: 'q'
33+
line_info: [(0, 2)]

‎examples/first_order/existential_only/2_c.kv

+33
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,33 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [True, False, False, False]
4+
#name: 'p', [False, True, False, False]
5+
#name: 'r', [False, False, False, True]
6+
#line: 0, {0: [1], 1: [0, 2, 3], 2: [1], 3: [1]}
7+
8+
RootWidget:
9+
pos: [0, 0]
10+
size: [876.35, 669.0]
11+
EllipseWidget:
12+
pos: [205.7941051219258, 116.56519990023588]
13+
size: [486.74523724031724, 444.1694127062943]
14+
color: .800, .800, .800
15+
NexusWidget:
16+
pos: [442.0, 324.0]
17+
size: [12, 12]
18+
line_info: [(0, 1)]
19+
AtomWidget:
20+
pos: [448.0, 461.00000000000006]
21+
size: [7, 20]
22+
text: 'r'
23+
line_info: [(0, 3)]
24+
AtomWidget:
25+
pos: [593.9999999999999, 286.0]
26+
size: [11, 20]
27+
text: 'q'
28+
line_info: [(0, 2)]
29+
AtomWidget:
30+
pos: [294.0, 280.0]
31+
size: [11, 20]
32+
text: 'p'
33+
line_info: [(0, 0)]

‎examples/first_order/existential_only/3_b.kv

+25
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [True, False, False, False]
4+
#name: 'p', [False, True, False, False]
5+
#name: 'r', [False, False, False, True]
6+
#line: 0, {0: [1], 1: [0]}
7+
8+
RootWidget:
9+
pos: [0, 0]
10+
size: [876.35, 669.0]
11+
EllipseWidget:
12+
pos: [439.0, 306.0000000000001]
13+
size: [145.0, 137.99999999999994]
14+
color: .800, .800, .800
15+
AtomWidget:
16+
pos: [506.0, 366.0]
17+
size: [11, 20]
18+
text: 'q'
19+
line_info: [(0, 0)]
20+
AtomWidget:
21+
pos: [284.0, 361.0]
22+
size: [11, 20]
23+
color: .800, .800, .800
24+
text: 'p'
25+
line_info: [(0, 1)]

‎examples/first_order/existential_only/3_c.kv

+36
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [True, False, False, False]
4+
#name: 'p', [False, True, False, False]
5+
#name: 'r', [False, False, False, True]
6+
#line: 0, {0: [1], 1: [0, 2, 3], 2: [1], 3: [1]}
7+
8+
RootWidget:
9+
pos: [0, 0]
10+
size: [876.35, 669.0]
11+
NexusWidget:
12+
pos: [419.0, 332.0]
13+
size: [12, 12]
14+
color: .800, .800, .800
15+
line_info: [(0, 1)]
16+
EllipseWidget:
17+
pos: [364.0, 412.00000000000006]
18+
size: [141.0, 128.0]
19+
color: .800, .800, .800
20+
AtomWidget:
21+
pos: [433.0, 477.0]
22+
size: [7, 20]
23+
text: 'r'
24+
line_info: [(0, 3)]
25+
AtomWidget:
26+
pos: [597.0, 274.99999999999994]
27+
size: [11, 20]
28+
color: .800, .800, .800
29+
text: 'q'
30+
line_info: [(0, 2)]
31+
AtomWidget:
32+
pos: [254.0, 273.99999999999994]
33+
size: [11, 20]
34+
color: .800, .800, .800
35+
text: 'p'
36+
line_info: [(0, 0)]

‎examples/first_order/existential_only/3_d.kv

+35
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [True, False, False, False]
4+
#name: 'p', [False, True, False, False]
5+
#name: 'r', [False, False, False, True]
6+
#line: 0, {0: [1], 1: [0, 2, 3], 2: [1], 3: [1]}
7+
8+
RootWidget:
9+
pos: [0, 0]
10+
size: [876.35, 669.0]
11+
EllipseWidget:
12+
pos: [361.0, 349.0]
13+
size: [140.0, 174.9999999999999]
14+
color: .800, .800, .800
15+
NexusWidget:
16+
pos: [422.0, 388.99999999999994]
17+
size: [12, 12]
18+
line_info: [(0, 1)]
19+
AtomWidget:
20+
pos: [424.0, 458.9999999999999]
21+
size: [7, 20]
22+
text: 'r'
23+
line_info: [(0, 3)]
24+
AtomWidget:
25+
pos: [597.0, 274.99999999999994]
26+
size: [11, 20]
27+
color: .800, .800, .800
28+
text: 'q'
29+
line_info: [(0, 2)]
30+
AtomWidget:
31+
pos: [254.0, 273.99999999999994]
32+
size: [11, 20]
33+
color: .800, .800, .800
34+
text: 'p'
35+
line_info: [(0, 0)]

‎examples/first_order/existential_only/4_a.kv

+29
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [True, False, False, False]
4+
#name: 'p', [False, True, False, False]
5+
#name: 'r', [False, False, False, True]
6+
#line: 0, {0: [1], 1: [0, 2], 2: [1]}
7+
8+
RootWidget:
9+
pos: [0, 0]
10+
size: [876.35, 669.0]
11+
NexusWidget:
12+
pos: [577.0, 339.0]
13+
size: [12, 12]
14+
color: .800, .800, .800
15+
line_info: [(0, 2)]
16+
EllipseWidget:
17+
pos: [382.0, 282.0]
18+
size: [117.0, 109.0]
19+
color: .800, .800, .800
20+
NexusWidget:
21+
pos: [437.0, 341.0]
22+
size: [12, 12]
23+
line_info: [(0, 1)]
24+
AtomWidget:
25+
pos: [221.0, 333.9999999999999]
26+
size: [11, 20]
27+
color: .800, .800, .800
28+
text: 'p'
29+
line_info: [(0, 0)]

‎examples/first_order/existential_only/4_b.kv

+30
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [True, False, False, False]
4+
#name: 'p', [False, True, False, False]
5+
#name: 'r', [False, False, False, True]
6+
#line: 0, {0: [1], 1: [0, 2], 2: [1]}
7+
8+
RootWidget:
9+
pos: [0, 0]
10+
size: [876.35, 669.0]
11+
AtomWidget:
12+
pos: [645.0, 335.0]
13+
size: [11, 20]
14+
color: .800, .800, .800
15+
text: 'q'
16+
line_info: [(0, 2)]
17+
EllipseWidget:
18+
pos: [382.0, 282.0]
19+
size: [117.0, 109.0]
20+
color: .800, .800, .800
21+
NexusWidget:
22+
pos: [434.0, 340.00000000000006]
23+
size: [12, 12]
24+
line_info: [(0, 1)]
25+
AtomWidget:
26+
pos: [221.0, 333.9999999999999]
27+
size: [11, 20]
28+
color: .800, .800, .800
29+
text: 'p'
30+
line_info: [(0, 0)]

‎examples/first_order/existential_only/4_c.kv

+29
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [True, False, False, False]
4+
#name: 'p', [False, True, False, False]
5+
#name: 'r', [False, False, False, True]
6+
#line: 0, {0: [1], 1: [0, 2], 2: [1]}
7+
8+
RootWidget:
9+
pos: [0, 0]
10+
size: [876.35, 669.0]
11+
NexusWidget:
12+
pos: [437.0, 519.0]
13+
size: [12, 12]
14+
color: .800, .800, .800
15+
line_info: [(0, 1)]
16+
EllipseWidget:
17+
pos: [276.0, 238.0]
18+
size: [332.0, 235.0]
19+
color: .800, .800, .800
20+
AtomWidget:
21+
pos: [340.0, 355.99999999999994]
22+
size: [11, 20]
23+
text: 'p'
24+
line_info: [(0, 0)]
25+
AtomWidget:
26+
pos: [530.0, 353.00000000000006]
27+
size: [11, 20]
28+
text: 'q'
29+
line_info: [(0, 2)]

‎examples/first_order/existential_only/4_d.kv

+47
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
1+
#:kivy 1.0.9
2+
3+
#name: 'q', [False, False, False, True]
4+
#name: 'p', [False, True, False, False]
5+
#name: 'r', [False, False, True, False]
6+
#line: 0, {0: [1], 1: [0, 2, 3], 2: [1], 3: [1, 4, 5], 4: [3], 5: [3]}
7+
8+
RootWidget:
9+
pos: [0, 0]
10+
size: [867.85, 667.0]
11+
EllipseWidget:
12+
pos: [276.0, 194.00000000000006]
13+
size: [501.0, 290.0]
14+
color: .800, .800, .800
15+
NexusWidget:
16+
pos: [660.0, 331.0]
17+
size: [12, 12]
18+
line_info: [(0, 5)]
19+
NexusWidget:
20+
pos: [379.0, 329.00000000000006]
21+
size: [12, 12]
22+
line_info: [(0, 1)]
23+
AtomWidget:
24+
pos: [380.0, 271.99999999999994]
25+
size: [7, 20]
26+
text: 'r'
27+
line_info: [(0, 2)]
28+
EllipseWidget:
29+
pos: [466.0, 282.0000000000001]
30+
size: [131.0, 129.0]
31+
NexusWidget:
32+
pos: [527.0, 330.0]
33+
size: [12, 12]
34+
color: .800, .800, .800
35+
line_info: [(0, 3)]
36+
AtomWidget:
37+
pos: [526.0, 376.99999999999994]
38+
size: [11, 20]
39+
color: .800, .800, .800
40+
text: 'q'
41+
line_info: [(0, 4)]
42+
AtomWidget:
43+
pos: [153.0, 322.0]
44+
size: [11, 20]
45+
color: .800, .800, .800
46+
text: 'p'
47+
line_info: [(0, 0)]

0 commit comments

Comments
 (0)