Changeset 1964 for src/ASM/ASMCosts.ma


Ignore:
Timestamp:
May 17, 2012, 12:06:34 PM (8 years ago)
Author:
tranquil
Message:

introduced as_label_of_cost and adapted accordingly. Equality of cost mapping sums

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/ASMCosts.ma

    r1962 r1964  
    1414      (program_counter …)
    1515      (λs,class. ASM_classify … s = class)
    16       (current_instruction_label code_memory cost_labels)
     16      (λpc.lookup_opt ?? pc cost_labels)
    1717      (next_instruction_properly_relates_program_counters code_memory)
    1818      ?.
Note: See TracChangeset for help on using the changeset viewer.