Lines Matching refs:allow

13 (allow TYPE self (CLASS (PERM)))
50 (allow b_t1 self (CLASS (PERM)))
51 (allow b_t1_c self (CLASS (PERM)))
52 (allow b_t1 b_ta (CLASS (PERM)))
53 (allow b_t1_c b_ta (CLASS (PERM)))
54 (allow b_ta b_t1 (CLASS (PERM)))
55 (allow b_ta b_t1_c (CLASS (PERM)))
59     (allow b_t1 b_tb (CLASS (PERM)))
60     (allow b_t1_c b_tb (CLASS (PERM)))
61     (allow b_tb b_t1 (CLASS (PERM)))
62     (allow b_tb b_t1_c (CLASS (PERM)))))
64 (allow b_t1 b_tc (CLASS (PERM)))
65 (allow b_tc b_t1 (CLASS (PERM)))
68     (allow b_t1_c b_tc (CLASS (PERM)))
69     (allow b_tc b_t1_c (CLASS (PERM)))))
71 (allow b_t1_c b_td (CLASS (PERM)))
72 (allow b_td b_t1_c (CLASS (PERM)))
75     (allow b_t1 b_td (CLASS (PERM)))
76     (allow b_td b_t1 (CLASS (PERM))))
78     (allow b_t1 b_td (CLASS (PERM)))
79     (allow b_td b_t1 (CLASS (PERM)))))
91 (allow b_a2 self (CLASS (PERM)))
92 (allow b_a2_c self (CLASS (PERM)))
93 (allow b_a2 b_ta (CLASS (PERM)))
94 (allow b_a2_c b_ta (CLASS (PERM)))
95 (allow b_ta b_a2 (CLASS (PERM)))
96 (allow b_ta b_a2_c (CLASS (PERM)))
100     (allow b_a2 b_tb (CLASS (PERM)))
101     (allow b_a2_c b_tb (CLASS (PERM)))
102     (allow b_tb b_a2 (CLASS (PERM)))
103     (allow b_tb b_a2_c (CLASS (PERM)))))
105 (allow b_a2 b_tc (CLASS (PERM)))
106 (allow b_tc b_a2 (CLASS (PERM)))
109     (allow b_a2_c b_tc (CLASS (PERM)))
110     (allow b_tc b_a2_c (CLASS (PERM)))))
112 (allow b_a2_c b_td (CLASS (PERM)))
113 (allow b_td b_a2_c (CLASS (PERM)))
116     (allow b_a2 b_td (CLASS (PERM)))
117     (allow b_td b_a2 (CLASS (PERM))))
119     (allow b_a2 b_td (CLASS (PERM)))
120     (allow b_td b_a2 (CLASS (PERM)))))
128 (allow b_t3 self (CLASS (PERM)))
129 (allow b_t3_c self (c1 (p1a)))
130 (allow b_t3 b_ta (CLASS (PERM)))
131 (allow b_t3_c b_ta (c1 (p1a)))
132 (allow b_ta b_t3 (CLASS (PERM)))
133 (allow b_ta b_t3_c (c1 (p1a)))
137     (allow b_t3_c b_tb (c1 (p1a)))
138     (allow b_tb b_t3_c (c1 (p1a)))))
142     (allow b_t3_c b_tc (c1 (p1a)))
143     (allow b_tc b_t3_c (c1 (p1a))))
145     (allow b_t3 b_tc (c1 (p1a)))
146     (allow b_tc b_t3 (c1 (p1a)))))
148 (allow b_t3_c b_td (c1 (p1a)))
149 (allow b_td b_t3_c (c1 (p1a)))
152     (allow b_t3 b_td (c1 (p1a)))
153     (allow b_td b_t3 (c1 (p1a)))))
165 (allow b_a4 self (CLASS (PERM)))
166 (allow b_a4_c self (c1 (p1a)))
167 (allow b_a4 b_ta (CLASS (PERM)))
168 (allow b_a4_c b_ta (c1 (p1a)))
169 (allow b_ta b_a4 (CLASS (PERM)))
170 (allow b_ta b_a4_c (c1 (p1a)))
174     (allow b_a4_c b_tb (c1 (p1a)))
175     (allow b_tb b_a4_c (c1 (p1a)))))
179     (allow b_a4_c b_tc (c1 (p1a)))
180     (allow b_tc b_a4_c (c1 (p1a))))
182     (allow b_a4 b_tc (c1 (p1a)))
183     (allow b_tc b_a4 (c1 (p1a)))))
185 (allow b_a4_c b_td (c1 (p1a)))
186 (allow b_td b_a4_c (c1 (p1a)))
189     (allow b_a4 b_td (c1 (p1a)))
190     (allow b_td b_a4 (c1 (p1a)))))
198 (allow b_t5 b_ta cp1)
199 (allow b_t5_c b_ta (c1 (p1a)))
200 (allow b_t5_c b_ta (c2 (p2a)))
201 (allow b_t5_c b_ta (c2 (p2b))) ;; Fail
202 (allow b_t5_c b_ta (c3 (p3a))) ;; Fail
204 (allow b_t5 b_tb (c1 (p1a p1b)))
205 (allow b_t5 b_tb (c2 (p2a)))
206 (allow b_t5_c b_tb cp1)
208 (allow b_t5 b_tc (cm1 (mp1)))
209 (allow b_t5_c b_tc (c1 (p1a)))
210 (allow b_t5_c b_tc (c1 (p1b))) ;; Fail
211 (allow b_t5_c b_tc (c2 (p2a))) ;; Fail
213 (allow b_t5 b_tc (c1 (p1a)))
214 (allow b_t5_c b_tc (cm1 (mp1)))
225 (allow b_t6a b_t6b (CLASS (PERM)))
226 (allow b_t6a_c b_t6b_c (CLASS (PERM)))
228 ;; Needs: (allow b_t6a b_t6b (c1 (p1a)))
229 (allow b_t6a_c b_t6b (c1 (p1a))) ;; Fail
230 (allow b_t6a_c b_t6b_c (c1 (p1a))) ;; Fail
232 ;; Needs: (allow b_t6a b_t6b (c2 (p2a)))
233 (allow b_t6a b_t6b_c (c2 (p2a))) ;; Fail
234 (allow b_t6a_c b_t6b (c2 (p2a))) ;; Fail
235 (allow b_t6a_c b_t6b_c (c2 (p2a)))
237 ;; Needs: (allow b_t6a b_t6b (c3 (p3c)))
238 (allow b_t6a b_t6b (c3 (p3a p3b)))
239 (allow b_t6a b_t6b_c (c3 (p3b p3c))) ;; Fail
240 (allow b_t6a_c b_t6b (c3 (p3a p3c))) ;; Fail
241 (allow b_t6a_c b_t6b_c (c3 (p3a p3b p3c))) ;; Fail