diff --git a/examples/eg_protocols.pdl b/examples/eg_protocols.pdl index 27237f06cac58e23f76dcd03b8a42a327aecf811..20d134b9ef3ab7725484093bb04a050455a75b0e 100644 --- a/examples/eg_protocols.pdl +++ b/examples/eg_protocols.pdl @@ -1,8 +1,12 @@ + 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)) { @@ -20,13 +24,6 @@ primitive sync_two(in ia, in ib, out oa, out ob) { } } -composite bob3(in i, out o) { - new sync(i, o); -} -composite bob5(in i, out o) { - new sync(i, o); -} - primitive xor_three(in ai, out ao, in bi, out bo, in ci, out co) { synchronous { if (fires(ai)) put(ao, get(ai));