Searched refs:s_such_that (Results 1 – 1 of 1) sorted by relevance
54 static const char *s_such_that[2] = { " : ", " \\mid " }; variable1194 p = isl_printer_print_str(p, s_such_that[latex]); in print_disjuncts()1227 return isl_printer_print_str(p, s_such_that[latex]); in print_disjuncts_map()2541 p = isl_printer_print_str(p, s_such_that[0]); in isl_printer_print_space_isl()2586 p = isl_printer_print_str(p, s_such_that[0]); in isl_printer_print_local_space()