Nuprl Definition : cs-ref-map3
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 occuring in Statement :
cs-considered-val: cs-considered-val(x),
cs-is-considering: cs-is-considering(x),
cs-committed-val: cs-committed-val(x),
cs-is-committed: cs-is-committed(x),
cs-predecided: PREDECIDED[v],
cs-ambivalent: AMBIVALENT,
cs-decided: Decided[v],
hd: hd(l),
null: null(as),
filter: filter(P;l),
ifthenelse: if b then t else f fi ,
let: let,
lambda: λx.A[x]
FDL editor aliases :
cs-ref-map3
Latex:
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:
2016_05_16-AM-11_52_26
Last ObjectModification:
2012_02_25-AM-11_41_28
Theory : event-ordering
Home
Index