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