Changeset 98
- 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.