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