Module mpstthree::functionmpst::choose

This module contains all the choose functions for three participants A, B and C

Functions

choose_left_mpst_session_a_to_all

Given a choice from A, to other processes, between two MeshedChannels, choose the first option for each.

choose_left_mpst_session_b_to_all

Given a choice from B, to other processes, between two MeshedChannels, choose the first option for each.

choose_left_mpst_session_c_to_all

Given a choice from C, to other processes, between two MeshedChannels, choose the first option for each.

choose_right_mpst_session_a_to_all

Given a choice from A, to other processes, between two MeshedChannels, choose the second option for each.

choose_right_mpst_session_b_to_all

Given a choice from B, to other processes, between two MeshedChannels, choose the second option for each.

choose_right_mpst_session_c_to_all

Given a choice from C, to other processes, between two MeshedChannels, choose the second option for each.