diff --git a/examples/eg_protocols.pdl b/examples/eg_protocols.pdl index 20d134b9ef3ab7725484093bb04a050455a75b0e..3536ee88602ff2f20ade4989e1f0ffc3144facfa 100644 --- a/examples/eg_protocols.pdl +++ b/examples/eg_protocols.pdl @@ -1,33 +1 @@ - -primitive forward(in i, out o) { - while(true) synchronous { - put(o, get(i)); - } -} -composite dynamic(in i, out o) { - new forward(i, o); -} -primitive sync(in i, out o) { - while(true) synchronous { - if(fires(i)) { - put(o, get(i)); - } - } -} - -primitive sync_two(in ia, in ib, out oa, out ob) { - while(true) synchronous { - if (fires(ia)) { - put(oa, get(ia)); - put(ob, get(ib)); - } - } -} - -primitive xor_three(in ai, out ao, in bi, out bo, in ci, out co) { - synchronous { - if (fires(ai)) put(ao, get(ai)); - else if (fires(bi)) put(bo, get(bi)); - else put(co, get(ci)); - } -} \ No newline at end of file +primitive foo(){} \ No newline at end of file