Function mpstthree::functionmpst::choose::choose_right_mpst_session_c_to_all [−][src]
pub fn choose_right_mpst_session_c_to_all<'a, S0, S1, S2, S3, S4, S5, R0, R1, R2, R3, R4, R5>(
s: MeshedChannels<ChooseMpst<S0, S2, S1, S4, R0, R1, RoleADual<RoleEnd>>, ChooseMpst<<S0 as Session>::Dual, <<S3 as Session>::Dual as Session>::Dual, <S1 as Session>::Dual, <<S5 as Session>::Dual as Session>::Dual, R2, R3, RoleBDual<RoleEnd>>, RoleCtoAll<R4, R5>, RoleC<RoleEnd>>
) -> MeshedChannels<S4, S5, R5, RoleC<RoleEnd>> where
S0: Session + 'a,
S1: Session + 'a,
S2: Session + 'a,
S3: Session + 'a,
S4: Session + 'a,
S5: Session + 'a,
R0: Role + 'a,
R1: Role + 'a,
R2: Role + 'a,
R3: Role + 'a,
R4: Role + 'a,
R5: Role + 'a,
Expand description
Given a choice from C, to other processes, between two
MeshedChannels
, choose the
second option for each.
C has to encapsulate all possible
MeshedChannels
for each other
role. This function creates the 6 new binary
Session
, the 3 new
Role
related to each second option
then the related [mpstthree::meshedchannels:: MeshedChannels
]. It then sends those options to the
related processes.
-
S0: dual session from A to B on left branch
-
S1: dual session from A to B on right branch
-
S2: session from C to A on left branch
-
S3: session from C to B on left branch
-
S4: session from C to A on right branch
-
S5: session from C to B on right branch
-
R0: dual stack of A on left branch
-
R1: dual stack of A on right branch
-
R2: dual stack of B on left branch
-
R3: dual stack of B on right branch
-
R4: stack of C on left branch
-
R5: stack of C on right branch