---

cs-ref-map3(L) ==
  let cmtd = filter(x.cs-is-committed(x);L) in
   let consd = filter(x.cs-is-considering(x);L) in
   if null(cmtd)
   then if null(consd)
        then AMBIVALENT
        else PREDECIDED[cs-considered-val(hd(consd))]
        fi 
   else Decided[cs-committed-val(hd(cmtd))]
   fi 

---

Definitions :  cs-is-committed: cs-is-committed(x),  let: let,  filter: filter(P;l),  lambda: x.A[x],  cs-is-considering: cs-is-considering(x),  ifthenelse: if b then t else f fi ,  null: null(as),  cs-ambivalent: AMBIVALENT,  cs-predecided: PREDECIDED[v],  cs-considered-val: cs-considered-val(x),  cs-decided: Decided[v],  cs-committed-val: cs-committed-val(x),  hd: hd(l)
FDL editor aliases :  cs-ref-map3

---

cs-ref-map3(L)  ==
    let  cmtd  =  filter(\mlambda{}x.cs-is-committed(x);L)  in
      let  consd  =  filter(\mlambda{}x.cs-is-considering(x);L)  in
      if  null(cmtd)
      then  if  null(consd)  then  AMBIVALENT  else  PREDECIDED[cs-considered-val(hd(consd))]  fi 
      else  Decided[cs-committed-val(hd(cmtd))]
      fi 


Date html generated: 2010_08_27-AM-12_28_28
Last ObjectModification: 2009_12_23-PM-03_23_07

Home Index