Searched defs:norm_cond1 (Results 1 – 1 of 1) sorted by relevance
1366 is_or_set_subset_of (norm_cond_t norm_cond1, in is_or_set_subset_of()1387 is_and_set_subset_of (norm_cond_t norm_cond1, in is_and_set_subset_of()1407 is_norm_cond_subset_of (norm_cond_t norm_cond1, in is_norm_cond_subset_of()1484 struct norm_cond norm_cond1, norm_cond2; in is_pred_expr_subset_of() local