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.