[−][src]Crate mpstthree
Modules
binary | |
checking | |
functionmpst | |
role | |
sessionmpst |
Macros
checker_hashmaps | macro to create hashmap function, necessary for recursion. Need to sort out the path |
choose | Choose between many different sessions wrapped in an |
choose_mpst_a_to_all | Choose, for A, between many different sessions wrapped in an |
choose_mpst_b_to_all | Choose, for B, between many different sessions wrapped in an |
choose_mpst_c_to_all | Choose, for C, between many different sessions wrapped in an |
choose_mpst_to_all | Choose between many different sessions wrapped in an |
create_broadcast_role | |
create_choose_from_1_to_2_3 | CHOOSE Create the core for the choose_mpst macros |
create_choose_from_2_to_1_3 | |
create_choose_from_3_to_1_2 | |
create_choose_left_from_1_to_2_and_3 | |
create_choose_left_from_2_to_1_and_3 | |
create_choose_left_from_3_to_1_and_2 | |
create_choose_right_from_1_to_2_and_3 | |
create_choose_right_from_2_to_1_and_3 | |
create_choose_right_from_3_to_1_and_2 | create a function choose_mpst right from the 3rd role |
create_normal_role | |
create_offer_mpst_session_1 | OFFER Get an offer on session 1 |
create_offer_mpst_session_2 | Get an offer on session 2 |
create_recv_mpst_all_session_1 | |
create_recv_mpst_all_session_2 | |
create_recv_mpst_session_1 | RECV |
create_recv_mpst_session_2 | |
create_send_mpst_session_1 | SEND |
create_send_mpst_session_2 | |
create_sessionmpst | |
offer | Offer a choice between many different sessions wrapped in an |
offer_mpst | Get a mpst offer |
offer_mpst_a_to_b | Offer a choice at A from B between many different sessions wrapped in an |
offer_mpst_a_to_c | Offer a choice at A from C between many different sessions wrapped in an |
offer_mpst_b_to_a | Offer a choice at B from A between many different sessions wrapped in an |
offer_mpst_b_to_c | Offer a choice at B from C between many different sessions wrapped in an |
offer_mpst_c_to_a | Offer a choice at C from A between many different sessions wrapped in an |
offer_mpst_c_to_b | Offer a choice at C from B between many different sessions wrapped in an |
Functions
fork_mpst | Creates and returns three child processes for three |