Function mpstthree::functionmpst::choose::choose_right_mpst_session_c_to_all

source · 
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, NameA>, 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, NameB>, RoleCtoAll<R4, R5>, NameC>
) -> MeshedChannels<S4, S5, R5, NameC>
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