Lines Matching refs:list
5 disjunct([list])
7 el([A],[B,list])
8 ellist([list],[A,list],[list])
9 ellist([list],[A],[list])
10 ellist([list],[list],[list])
13 makedisj([list],[A,list],[B],[B,list])
14 makedisj([list],[A,list],[B],[B])
15 makedisj([list],[A],[B],[B,list])
16 makedisj([list],[A],[B],[B])
17 makedisj([list],[list],[A],[A,list])
18 makedisj([list],[list],[A],[A])
19 makedisj1([list],[A],[A,list])
20 makedisj1([list],[A],[A])
21 makedisj2([A],[list],[B],[B])
22 makedisj2([list],[list],[A],[A,list])
23 makemaxef([list],[A,list])
24 makemaxef([list],[A])
25 makemaxef([list],[list])
26 makemaxnf([list],[A,list])
27 makemaxnf([list],[A])
28 makemaxnf([list],[list])
29 makeminaf([list],[A,list])
30 makeminaf([list],[A])
31 makeminaf([list],[list])
32 makeminnf([list],[A,list])
33 makeminnf([list],[A])
34 makeminnf([list],[list])
35 makeminsf([list],[A,list])
36 makeminsf([list],[A])
37 makeminsf([list],[list])
38 makeprec([list],[A,list])
39 makeprec([list],[A])
40 makeprec([list],[list])
41 makevars([list],[list])
52 rev([list],[A],[A,list])
53 rev([list],[A],[A])