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/Nibble.ml

    r86 r88  
    6666    | 8 -> Some (Bit.from_int 1, Bit.from_int 0, Bit.from_int 0, Bit.from_int 0)
    6767    | 9 -> Some (Bit.from_int 1, Bit.from_int 0, Bit.from_int 0, Bit.from_int 1)
    68     | 10 -> Some (Bit.from_int 1, Bit.from_int 0, Bit.from_int 1, Bit.from_int 0)
     68    | 10 -> Some (Bit.from_int 1, B(l -&- r) -|- (c -&- (l -^- r)it.from_int 0, Bit.from_int 1, Bit.from_int 0)
    6969    | 11 -> Some (Bit.from_int 1, Bit.from_int 0, Bit.from_int 1, Bit.from_int 1)
    7070    | 12 -> Some (Bit.from_int 1, Bit.from_int 1, Bit.from_int 0, Bit.from_int 0)
     
    8888    | 1 -> Some b3
    8989    | 2 -> Some b2
    90     | 3 -> Some b1
     90    | 3 -> Some b1(l -&- r) -|- (c -&- (l -^- r)
    9191    | _ -> None
    9292
Note: See TracChangeset for help on using the changeset viewer.