-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpydalTestCases.txt
146 lines (114 loc) · 3.91 KB
/
pydalTestCases.txt
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
TEST CASE: a a a
a.a.a
a - a - a
--------------------
0.0 : set(['a'])
0.333333333333 : set(['a'])
0.666666666667 : set(['a'])
----------------------------------------------------------------
----------------------------------------------------------------
TEST CASE: a { a a}
a.{a.a}
a - {a.a}
a - a.a
a - a - a
--------------------
0.0 : set(['a'])
0.5 : set(['a'])
0.75 : set(['a'])
----------------------------------------------------------------
----------------------------------------------------------------
TEST CASE: [a c]*2
[a.c]*2
[a.c]*2
[a.c]
a.c
a - c
--------------------
0.0 : set(['a'])
0.25 : set(['c'])
0.5 : set(['a'])
0.75 : set(['c'])
----------------------------------------------------------------
----------------------------------------------------------------
TEST CASE: a {a a, b b }
a.{a.a.b.b}
a - {a.a.b.b}
a - a.a - b.b
a - a - a - b - b
--------------------
0.0 : set(['a'])
0.5 : set(['a', 'b'])
0.75 : set(['a', 'b'])
----------------------------------------------------------------
----------------------------------------------------------------
TEST CASE: a {a a, b b* 2 }
a.{a.a.b.b*2}
a - {a.a.b.b*2}
a - a.a - b.b*2
a - a - a - b - b*2
a - a - a - b - b
--------------------
0.0 : set(['a'])
0.5 : set(['a', 'b'])
0.75 : set(['a', 'b'])
0.875 : set(['b'])
----------------------------------------------------------------
----------------------------------------------------------------
TEST CASE: a {[a a]*3, b b* 2 }
a.{[a.a]*3.b.b*2}
a - {[a.a]*3.b.b*2}
a - [a.a]*3 - b.b*2
a - [a.a]*3 - b - b*2
a - [a.a] - b - b
a - a.a - b - b
a - a - a - b - b
--------------------
0.0 : set(['a'])
0.5 : set(['a', 'b'])
0.583333333333 : set(['a'])
0.666666666667 : set(['a'])
0.75 : set(['a'])
0.833333333333 : set(['a'])
0.916666666667 : set(['a'])
----------------------------------------------------------------
----------------------------------------------------------------
TEST CASE: {a c, d {d a}*3} b [a, g]
{a.c.d.{d.a}*3}.b.[a.g]
{a.c.d.{d.a}*3} - b - [a.g]
a.c - d.{d.a}*3 - b - a - g
a - c - d - {d.a}*3 - b - a - g
a - c - d - {d.a} - b - a - g
a - c - d - d.a - b - a - g
a - c - d - d - a - b - a - g
--------------------
0.0 : set(['a', 'd'])
0.166666666667 : set(['c', 'd'])
0.194444444444 : set(['a'])
0.222222222222 : set(['d'])
0.25 : set(['a'])
0.277777777778 : set(['d'])
0.305555555556 : set(['a'])
0.333333333333 : set(['b'])
0.666666666667 : set(['a', 'g'])
----------------------------------------------------------------
----------------------------------------------------------------
TEST CASE: {lt lt:2, {hc hc:2, ho sn:2 sn:3*2} {bottle bottle bottle, [bin:2 bin] bin:1} bd}
{lt.lt:2.{hc.hc:2.ho.sn:2.sn:3*2}.{bottle.bottle.bottle.[bin:2.bin].bin:1}.bd}
{lt.lt:2.{hc.hc:2.ho.sn:2.sn:3*2}.{bottle.bottle.bottle.[bin:2.bin].bin:1}.bd}
lt.lt:2 - {hc.hc:2.ho.sn:2.sn:3*2}.{bottle.bottle.bottle.[bin:2.bin].bin:1}.bd
lt - lt:2 - {hc.hc:2.ho.sn:2.sn:3*2} - {bottle.bottle.bottle.[bin:2.bin].bin:1} - bd
lt - lt:2 - hc.hc:2 - ho.sn:2.sn:3*2 - bottle.bottle.bottle - [bin:2.bin].bin:1 - bd
lt - lt:2 - hc - hc:2 - ho - sn:2 - sn:3*2 - bottle - bottle - bottle - [bin:2.bin] - bin:1 - bd
lt - lt:2 - hc - hc:2 - ho - sn:2 - sn:3 - bottle - bottle - bottle - bin:2.bin - bin:1 - bd
lt - lt:2 - hc - hc:2 - ho - sn:2 - sn:3 - bottle - bottle - bottle - bin:2 - bin - bin:1 - bd
--------------------
0.0 : set(['hc', 'lt', 'ho'])
0.25 : set(['sn:2', 'hc:2'])
0.5 : set(['lt:2', 'bottle', 'bin:2'])
0.583333333333 : set(['bin'])
0.666666666667 : set(['bin:1', 'bottle'])
0.833333333333 : set(['bin:2', 'bottle'])
0.916666666667 : set(['bin'])
----------------------------------------------------------------
----------------------------------------------------------------