message-class-source(Info; es; X; Y) ==
e:E(X). 
e':E. ((e' < e) 
bag-member(Info;<loc(e), info(e)>;Y es e'))
Definitions occuring in Statement :
es-E-interface: E(X),
es-info: info(e),
es-causl: (e < e'),
es-loc: loc(e),
es-E: E,
all: x:A. B[x],
exists: x:A. B[x],
and: P Q,
apply: f a,
pair: <a, b>,
bag-member: bag-member(T;x;bs)
Definitions :
all: x:A. B[x],
es-E-interface: E(X),
exists: x:A. B[x],
es-E: E,
and: P Q,
es-causl: (e < e'),
bag-member: bag-member(T;x;bs),
pair: <a, b>,
es-loc: loc(e),
es-info: info(e),
apply: f a
message-class-source(Info; es; X; Y) ==
\mforall{}e:E(X). \mexists{}e':E. ((e' < e) \mwedge{} bag-member(Info;<loc(e), info(e)>Y es e'))
Date html generated:
2011_08_16-PM-05_19_26
Last ObjectModification:
2011_04_26-PM-06_54_09
Home
Index