reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/polly/lib/External/isl/isl_map_subtract.c
  834 	if (!map1 || !map2)
  837 	if (!isl_map_has_equal_space(map1, map2))
  840 	empty = isl_map_is_empty(map1);
  852 	rat1 = isl_map_has_rational(map1);
  862 	single = isl_map_plain_is_singleton(map1);
  867 		is_subset = map_is_singleton_subset(map1, map2);
  871 	is_subset = map_diff_is_empty(map1, map2);