---

cond-msg-body(hdr;typ;m) ==
  if name_eq(fst(m);hdr)  typ == msg-type(m) then {msg-body(m)} else {} fi 

---

Definitions occuring in Statement :  msg-type: msg-type(msg),  msg-body: msg-body(msg),  name_eq: name_eq(x;y),  band: p  q,  ifthenelse: if b then t else f fi ,  pi1: fst(t),  single-bag: {x},  empty-bag: {},  eq_term: a == b
Definitions :  ifthenelse: if b then t else f fi ,  band: p  q,  name_eq: name_eq(x;y),  pi1: fst(t),  eq_term: a == b,  msg-type: msg-type(msg),  single-bag: {x},  msg-body: msg-body(msg),  empty-bag: {}
FDL editor aliases :  cond-msg-body

---

cond-msg-body(hdr;typ;m)  ==
    if  name\_eq(fst(m);hdr)  \mwedge{}\msubb{}  typ  ==  msg-type(m)  then  \{msg-body(m)\}  else  \{\}  fi 


Date html generated: 2011_08_17-PM-04_00_22
Last ObjectModification: 2011_06_20-PM-01_10_15

Home Index