Changes between Version 1 and Version 2 of CurrentlyProposedLanguage


Ignore:
Timestamp:
Nov 4, 2010 3:56:25 PM (14 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • CurrentlyProposedLanguage

    v1 v2  
    1010||Equal           ||==        ||
    1111||Different than  ||!=        ||
     12
     13= Logical operators =
     14Standard logical operators apply
     15||Meaning || Operator ||
     16||And     || and      ||
     17||Or      || or       ||
     18||Xor     || xor      ||
     19||Not     || not      ||
     20
     21For events in the timeline of events, using ''and'' or ''or'' operators denotes that any ordering between these events is possible.
     22
     23= Arithmetic operators =
     24Standard arithmetic operators apply and parenthesis are used for non-obvious precedence
     25
     26= Temporal operators =
     27We want to be able to denote order and concurrency of events and state changes, and duration of events.
     28||Meaning                          || Operator and example ||
     29||A occurs after B                 || B -> A               ||
     30||A and B occur concurrently       || A | | B               ||           
     31||A lasts T time                   || A,,T,,               ||
     32||A occurs T time after B          || B ->,,T,, A          ||