Ignore:
Timestamp:
Mar 7, 2013, 9:31:40 AM (8 years ago)
Author:
sacerdot
Message:

Added new function Measurable.observe_all_in_measurable to be used to
debug the extracted code. It takes a classified system, a state, a number s
(that in the extracted code can be a lazy infinite value) and it computes
the stream of intensional observables from that state.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/ErrorMessages.ma

    r2751 r2795  
    6969 | TerminatedEarly : ErrorMessage
    7070 | BadCostLabelling : ErrorMessage
    71  | RepeatedCostLabel : ErrorMessage.
     71 | RepeatedCostLabel : ErrorMessage
     72 | NotTerminated : ErrorMessage.
Note: See TracChangeset for help on using the changeset viewer.