Changeset 2531 for src/common


Ignore:
Timestamp:
Dec 5, 2012, 1:28:20 PM (7 years ago)
Author:
mckinna
Message:

Trivial tweaks.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/StructuredTraces.ma

    r2508 r2531  
    5454(* cost map generalities *)
    5555
     56definition as_cost_labelled_at ≝
     57  λS : abstract_status. λl.λpc.as_label_of_pc S pc = Some ? l.
     58
    5659definition as_cost_labelled ≝
    57   λS : abstract_status. λl.∃pc.as_label_of_pc S pc = Some ? l.
     60  λS : abstract_status. λl.∃pc.as_cost_labelled_at S l pc.
    5861
    5962definition as_cost_label ≝
Note: See TracChangeset for help on using the changeset viewer.