/ test / contracts / sophia_2 / bits.aes
bits.aes
 1  // Tests of builtin bit fields
 2  contract BitsTest =
 3  
 4    function none()                           : bits = Bits.none
 5    function all()                            : bits = Bits.all
 6    function set(b : bits, i : int)           : bits = Bits.set(b, i)
 7    function clear(b : bits, i : int)         : bits = Bits.clear(b, i)
 8    function test(b : bits, i : int)          : bool = Bits.test(b, i)
 9    function sum(b : bits)                    : int  = Bits.sum(b)
10    function union(a : bits, b : bits)        : bits = Bits.union(a, b)
11    function intersection(a : bits, b : bits) : bits = Bits.intersection(a, b)
12    function difference(a : bits, b : bits)   : bits = Bits.difference(a, b)
13