---

run-event-local-pred(r;e) ==
  if null(run-event-history(r;e))
  then inr  
  else inl last(run-event-history(r;e)) 
  fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  null: null(as),  inr: inr x ,  it: ,  inl: inl x ,  last: last(L),  run-event-history: run-event-history(r;e)
FDL editor aliases :  run-event-local-pred

---

run-event-local-pred(r;e)  ==
    if  null(run-event-history(r;e))  then  inr  \mcdot{}    else  inl  last(run-event-history(r;e))    fi 


Date html generated: 2010_08_27-PM-06_18_11
Last ObjectModification: 2010_05_23-PM-07_01_39

Home Index