Lines Matching defs:known
6330 * This domain is known to be disjoint from other domains
6923 int known = isl_basic_map_divs_known(map->p[i]);
6924 if (known <= 0)
6925 return known;
6938 int known;
6941 known = isl_basic_map_divs_known(bmap);
6942 if (known < 0)
6944 if (known)
6949 known = isl_basic_map_divs_known(bmap);
6950 if (known < 0)
6952 if (known)
6965 int known;
6973 known = map_divs_known(map);
6974 if (known < 0) {
6978 if (known)