Changeset 98 for Deliverables/D4.1
 Timestamp:
 Sep 21, 2010, 2:21:25 PM (10 years ago)
 Location:
 Deliverables/D4.1
 Files:

 2 added
 2 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D4.1/BitVectors.ml
r97 r98 62 62 let map2_bits = List.map2 63 63 64 let string_of_ vect l =65 String.concat "" (List.map (function false > "0"  true > "1")l)64 let string_of_bit = function false > "0"  true > "1" 65 let string_of_vect l = String.concat "" (List.map string_of_bit l) 66 66 67 67 let full_add l r c = List.fold_right2 (fun b1 b2 (c,r) > b1 & b2  c & (b1  b2),xor (xor b1 b2) c::r) l r (c,[]) … … 100 100 in 101 101 aux 1 (List.rev v) 102 103 let string_of_vect v = 104 String.concat "" (List.map (function false > "0"  _ > "1") v) 102 105 103 106 let size_lookup = 
Deliverables/D4.1/BitVectors.mli
r97 r98 29 29 val int_of_vect: 'a vect > int 30 30 val vect_of_int: int > ([< sizes] as 'a) > 'a vect 31 val string_of_vect: 'a vect > string 32 val string_of_bit: bit > string 31 33 32 34 val (&): 'a vect > 'a vect > 'a vect
Note: See TracChangeset
for help on using the changeset viewer.