|
@@ -40,11 +40,11 @@
|
|
%% B = flatten([B_1, B_2, ..., B_I])
|
|
%% B = flatten([B_1, B_2, ..., B_I])
|
|
-record(par, {in, out, ops}).
|
|
-record(par, {in, out, ops}).
|
|
|
|
|
|
-%% route_N,M,R(A, [ sources(R, Target) || Target <- [1..M] ]) ::=
|
|
|
|
-%% { in = N, out = M, map = R }
|
|
|
|
-%% where N : number, M : number
|
|
|
|
-%% R : [{source, target}]
|
|
|
|
-%% source : [1..N], target : [1..M]
|
|
|
|
|
|
+%% route_N,R(A, [ A_I || I <- R ]) ::=
|
|
|
|
+%% { in = N, out = length(R), map = R }
|
|
|
|
+%% where N : number
|
|
|
|
+%% R : [source]
|
|
|
|
+%% source : [1..N]
|
|
-record(route, {in, out, map}).
|
|
-record(route, {in, out, map}).
|
|
|
|
|
|
%% sync_N(A_1 * ... * A_N, A_1 * ... A_N) ::= { size = N : number }
|
|
%% sync_N(A_1 * ... * A_N, A_1 * ... A_N) ::= { size = N : number }
|