Query Functions : Information-Flows (if) : Input List Type: af

Input List Type: af
 
Query: Basic information-flows flowing through a given a-flow-line.
Purpose: Returns information-flows that are not decomposed to other information items, and are flowing through a-flow-lines in the input list.
Query: Information-flows flowing through a given a-flow-line.
Purpose: Returns the information-flows flowing through a-flow-lines in the input list.
Note: This function returns the highest information-flows, as opposed to stm_r_if_basic_ flowing_af, which returns the lowest level.
Query: Information-flows labeling a given a-flow-line.
Purpose: Returns the information-flows that label a-flow-lines in the input list.