Lines Matching refs:buf1

64        buffer_node<int> buf1(g);
74        make_edge(buf1,input_port<0>(jn));
79        buf1.try_put(3);
86        if(buf1.try_get(icnt)) printf("buf1 had %d\n", icnt);
87        else printf("buf1 was empty\n");
94 two predecessors: a ``buffer_node`` ``buf1`` and a ``broadcast_node``
145        buf1.try_put(3);
148 ``buf1`` attempts to forward 3 to ``jn``. ``jn`` does not accept the
149 value and the arc from ``buf1`` to ``jn`` reverses. Because not all the
211 -  ``jn`` tries to reserve ``buf1``, which succeeds (reserved nodes are
212    colored grey.) ``jn`` receives the value 3 from ``buf1``, but it
213    remains in ``buf1`` (in case the attempt to forward a message from
231 the push succeeded, ``jn`` signals ``buf1`` and ``buf2`` that the
238 -  ``jn`` tries to reserve ``buf1``, which fails. The arc to ``buf1``
261    buf1 was empty