Query: Basic information-flows flowing through a given m-flow-line.Purpose: Returns the information-flows that are not decomposed to other information items and are flowing through m-flow-lines in the input list.stm_r_if_basic_flowing_mf (stm_list
in_list, int *status);
Query: Information-flows flowing through a given m-flow-line.Purpose: Returns the information-flow flowing through m-flow-lines in the input list.Note: This function returns the highest information-flows as opposed tostm_r_if_basic_flowing_mf
, which returns the lowest level.stm_r_if_flowing_through_ mf (stm_list
in_list, int *status);
Query: Information-flows labeling a given m-flow-line.Purpose: Returns the information-flow labeling m-flow-lines in the input list.stm_r_if_labeling_mf (stm_list in_list,
int *status);