Nuprl Definition : global-class
GlobalClass(Info;A;X) ==
∃components:{bag(Id × hdataflow(Info;A))
(X
= (λes,e. bag-union(bag-mapfilter(λp.(snd(snd(p)*(map(λx.info(x);before(e)))(info(e))));λp.fst(p) = loc(e);
components)))
∈ EClass(A))}
Definitions occuring in Statement :
eclass: EClass(A[eo; e]),
es-info: info(e),
es-before: before(e),
es-loc: loc(e),
eq_id: a = b,
Id: Id,
map: map(f;as),
pi1: fst(t),
pi2: snd(t),
sq_exists: ∃x:{A| B[x]},
lambda: λx.A[x],
product: x:A × B[x],
equal: s = t ∈ T,
bag-union: bag-union(bbs),
bag-mapfilter: bag-mapfilter(f;P;bs),
bag: bag(T),
iterate-hdataflow: P*(inputs),
hdf-ap: X(a),
hdataflow: hdataflow(A;B)
FDL editor aliases :
global-class
GlobalClass(Info;A;X) ==
\mexists{}components:\{bag(Id \mtimes{} hdataflow(Info;A))
(X
= (\mlambda{}es,e. bag-union(bag-mapfilter(\mlambda{}p.(snd(snd(p)*(map(\mlambda{}x.info(x);before(e)))(info(e))));
\mlambda{}p.fst(p) = loc(e);components))))\}
Date html generated:
2015_07_17-PM-00_32_57
Last ObjectModification:
2012_12_14-AM-11_22_47
Home
Index