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
|
-- logop-prims.hi -- interface to logical operations on numbers
--
-- author : Sandra Loosemore
-- date : 19 June 1993
--
interface LogOpPrims where
logiorInteger :: Integer -> Integer -> Integer
logxorInteger :: Integer -> Integer -> Integer
logandInteger :: Integer -> Integer -> Integer
logeqvInteger :: Integer -> Integer -> Integer
lognandInteger :: Integer -> Integer -> Integer
lognorInteger :: Integer -> Integer -> Integer
logandc1Integer :: Integer -> Integer -> Integer
logandc2Integer :: Integer -> Integer -> Integer
logorc1Integer :: Integer -> Integer -> Integer
logorc2Integer :: Integer -> Integer -> Integer
lognotInteger :: Integer -> Integer
logtestInteger :: Integer -> Integer -> Integer
logbitpInteger :: Int -> Integer -> Integer
ashInteger :: Integer -> Int -> Integer
logcountInteger :: Integer -> Int
integerLengthInteger :: Integer -> Int
logiorInt :: Int -> Int -> Int
logxorInt :: Int -> Int -> Int
logandInt :: Int -> Int -> Int
logeqvInt :: Int -> Int -> Int
lognandInt :: Int -> Int -> Int
lognorInt :: Int -> Int -> Int
logandc1Int :: Int -> Int -> Int
logandc2Int :: Int -> Int -> Int
logorc1Int :: Int -> Int -> Int
logorc2Int :: Int -> Int -> Int
lognotInt :: Int -> Int
logtestInt :: Int -> Int -> Int
logbitpInt :: Int -> Int -> Int
ashInt :: Int -> Int -> Int
logcountInt :: Int -> Int
integerLengthInt :: Int -> Int
{-#
logiorInteger :: LispName("logop.logior-integer"), Complexity(4)
logxorInteger :: LispName("logop.logxor-integer"), Complexity(4)
logandInteger :: LispName("logop.logand-integer"), Complexity(4)
logeqvInteger :: LispName("logop.logeqv-integer"), Complexity(4)
lognandInteger :: LispName("logop.lognand-integer"), Complexity(4)
lognorInteger :: LispName("logop.lognor-integer"), Complexity(4)
logandc1Integer :: LispName("logop.logandc1-integer"), Complexity(4)
logandc2Integer :: LispName("logop.logandc2-integer"), Complexity(4)
logorc1Integer :: LispName("logop.logorc1-integer"), Complexity(4)
logorc2Integer :: LispName("logop.logorc2-integer"), Complexity(4)
lognotInteger :: LispName("logop.lognot-integer"), Complexity(4)
logtestInteger :: LispName("logop.logtest-integer"), Complexity(4)
logbitpInteger :: LispName("logop.logbitp-integer"), Complexity(4)
ashInteger :: LispName("logop.ash-integer"), Complexity(4)
logcountInteger :: LispName("logop.logcount-integer"), Complexity(4)
integerLengthInteger :: LispName("logop.integer-length-integer"), Complexity(4)
logiorInt :: LispName("logop.logior-int"), Complexity(2)
logxorInt :: LispName("logop.logxor-int"), Complexity(2)
logandInt :: LispName("logop.logand-int"), Complexity(2)
logeqvInt :: LispName("logop.logeqv-int"), Complexity(2)
lognandInt :: LispName("logop.lognand-int"), Complexity(2)
lognorInt :: LispName("logop.lognor-int"), Complexity(2)
logandc1Int :: LispName("logop.logandc1-int"), Complexity(2)
logandc2Int :: LispName("logop.logandc2-int"), Complexity(2)
logorc1Int :: LispName("logop.logorc1-int"), Complexity(2)
logorc2Int :: LispName("logop.logorc2-int"), Complexity(2)
lognotInt :: LispName("logop.lognot-int"), Complexity(2)
logtestInt :: LispName("logop.logtest-int"), Complexity(2)
logbitpInt :: LispName("logop.logbitp-int"), Complexity(2)
ashInt :: LispName("logop.ash-int"), Complexity(2)
logcountInt :: LispName("logop.logcount-int"), Complexity(2)
integerLengthInt :: LispName("logop.integer-length-int"), Complexity(2)
#-}
|
