Changes between Version 14 and Version 15 of Infinote/Protocol

Show
Ignore:
Timestamp:
06/20/09 20:04:48 (4 years ago)
Author:
armin (IP: 89.244.181.56)
Comment:

Fixed pseudo code of reachable function

Legend:

Unmodified
Added
Removed
Modified
  • Infinote/Protocol

    v14 v15  
    762762 
    763763    if r is a DO-request: 
    764       return v <= r.v(); 
     764      return v >= r.v(); 
    765765    else: 
    766766      v := associated_request(r).v;