Lines Matching refs:sm
69 static void filter_by_sm(struct sm_state *sm, in filter_by_sm() argument
73 if (!sm) in filter_by_sm()
76 if (sm->state == &true_path) in filter_by_sm()
77 add_ptr_list(true_stack, sm); in filter_by_sm()
78 else if (sm->state == &false_path) in filter_by_sm()
79 add_ptr_list(false_stack, sm); in filter_by_sm()
81 if (sm->merged) { in filter_by_sm()
82 filter_by_sm(sm->left, true_stack, false_stack); in filter_by_sm()
83 filter_by_sm(sm->right, true_stack, false_stack); in filter_by_sm()
93 struct sm_state *sm, *tmp; in parsed_condition_implication_hook() local
98 sm = get_sm_state(my_id, name, NULL); in parsed_condition_implication_hook()
99 if (!sm) in parsed_condition_implication_hook()
101 if (!sm->merged) in parsed_condition_implication_hook()
104 filter_by_sm(sm, &tmp_true, &tmp_false); in parsed_condition_implication_hook()
119 return sm; in parsed_condition_implication_hook()