Searched refs:s_open_exists (Results 1 – 1 of 1) sorted by relevance
55 static const char *s_open_exists[2] = { "exists (", "\\exists \\, " }; variable965 p = isl_printer_print_str(p, s_open_exists[latex]); in open_exists()2491 p = isl_printer_print_str(p, s_open_exists[0]); in isl_printer_print_local_space()