Query Functions : List of Query Functions : M-Flow-Lines (bf, bm, lmf, mf) : Output List Type: mf : Input List Type: if

Input List Type: if
 
Query: M-flow-lines through which a given information-flow flows
Purpose: Returns the m-flow-lines through which information-flows from the input list actually flow
stm_r_mf_within_flows_if (IN if_list: LIST OF INFORMATION_FLOW, OUT status: INTEGER)
Query: M-flow-lines labeled with a given information-flow
Purpose: Returns the m-flow-lines that are labeled with information-flows in the input list
stm_r_mf_within_labels_if (IN if_list: LIST OF INFORMATION_FLOW, OUT status: INTEGER)