diff --git a/examples/old/eg_protocols.pdl b/examples/old/eg_protocols.pdl deleted file mode 100644 index 20d134b9ef3ab7725484093bb04a050455a75b0e..0000000000000000000000000000000000000000 --- a/examples/old/eg_protocols.pdl +++ /dev/null @@ -1,33 +0,0 @@ - -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