Nuprl Definition : interface-cmp

Compare members of Interface(to locs, with hdrs)
"lexicographically" first on the delay,
then on the index in locs of the dst,
then on the index in hdrs of the message header,
finally compare the message bodies using the
comparison given by the message header.⋅

interface-cmp(mcmp;locs;hdrs) ==
comparison-seq(int-minus-comparison(λmi.mi.delay); comparison-seq(list-index-cmp(IdDeq;locs;λmi.mi.dst);

                                                     compare-fun(message-cmp(hdrs;mcmp);λmi.mi.msg)))

Definitions occuring in Statement : message-cmp: message-cmp(hdrs;mcmp), msg-interface-delay: mi.delay, msg-interface-message: mi.msg, msg-interface-destination: mi.dst, id-deq: IdDeq, list-index-cmp: list-index-cmp(eq;L;f), comparison-seq: comparison-seq(c1; c2), compare-fun: compare-fun(cmp;f), int-minus-comparison: int-minus-comparison(f), lambda: λx.A[x]
FDL editor aliases : interface-cmp

Latex:
interface-cmp(mcmp;locs;hdrs) == comparison-seq(int-minus-comparison(\mlambda{}mi.mi.delay); comparison-seq(list-index-cmp(IdDeq;locs;\mlambda{}mi.mi.dst); compare-fun(message-cmp(hdrs;mcmp);\mlambda{}mi.mi.msg))) Date html generated: 2015_07_22-PM-00_01_16 Last ObjectModification: 2014_07_16-PM-05_59_34 Home Index