chosen-command(P.M[P];env;r;t;x) ==
let Cs,G = run-system(r;t) in
let n = fst((env t r)) in
(
lg-is-source(G;n)) 
(x = lg-label(G;n))
Definitions :
spread: spread def,
run-system: run-system(r;t),
let: let,
pi1: fst(t),
apply: f a,
and: P Q,
assert: b,
lg-is-source: lg-is-source(g;i),
equal: s = t,
pInTransit: pInTransit(P.M[P]),
lg-label: lg-label(g;x)
FDL editor aliases :
chosen-command
chosen-command(P.M[P];env;r;t;x) ==
let Cs,G = run-system(r;t) in
let n = fst((env t r)) in
(\muparrow{}lg-is-source(G;n)) \mwedge{} (x = lg-label(G;n))
Date html generated:
2010_08_27-PM-06_44_15
Last ObjectModification:
2010_05_05-PM-01_08_54
Home
Index