Ignore:
Timestamp:
Sep 20, 2010, 10:35:53 AM (9 years ago)
Author:
mulligan
Message:

int_of_vect implemented.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/physical.mli

    r72 r88  
     1open Bit_vectors
     2
    13exception Byte7_conversion
    2 
    3 type bit = bool
    4 type nibble = bit * bit * bit * bit
    5 type byte = nibble * nibble
    6 type byte7 = bit * bit * bit * nibble
    7 type word = byte * byte
    8 type word11 = bit * bit * bit * byte
    94
    105module Byte7Map : Map.S with type key = byte7
     
    138val byte7_of_byte: byte -> byte7
    149
    15 val word_of_int: int -> word
    16 val int_of_word: word -> int
    17 val byte7_of_int: int -> byte7
    18 val byte_of_int: int -> byte
    19 val int_of_bit: bit -> int
    20 val int_of_byte: byte -> int
    21 val int_of_byte7: byte7 -> int
    22 val int_of_nibble: nibble -> int
    23 val nibble_of_int: int -> nibble
    24 val byte7_of_bit: bit -> byte7
    25 val byte_of_byte7: byte7 -> byte
    26 
    27 val complement: byte -> byte
    28 
    29 val (++): word -> int -> word
    30 
    31 val add8_with_c:
    32  byte -> byte -> bit -> byte * bit * bit * bit (* +, c, ac, ov *)
    3310val subb8_with_c:
    3411 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
    3512val dec: byte -> byte (* with roll-over *)
    3613val inc: byte -> byte (* with roll-over *)
    37 
    38 val nth_bit: int -> byte -> bit
    39 val set_nth_bit: int -> bit -> byte -> byte
Note: See TracChangeset for help on using the changeset viewer.