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), iterate-hdataflow: P*(inputs), hdf-ap: X(a), hdataflow: hdataflow(A;B), 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)
FDL editor aliases : global-class

Latex:
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: 2016_05_16-PM-02_06_57 Last ObjectModification: 2012_12_14-AM-11_22_47 Theory : event-ordering Home Index