annotate arrows/@arrow/mpower.m @ 2:7357e1dc2ad6

Simplified scheduler library with new schedule representation.
author samer
date Sat, 22 Dec 2012 16:17:51 +0000
parents 672052bd81f8
children
rev   line source
samer@0 1 % mpower - Arrow with state initialiser
samer@0 2 %
samer@0 3 % mpower :: arrow(A,B,S), S -> arrow(A,B,S).
samer@0 4 %
samer@0 5 % The resulting arrow is the same as the supplied arrow
samer@0 6 % except that its accessible state is explicitly initialised.
samer@0 7 function o=mpower(a,state), o=ainitstate(a,state);
samer@0 8