Searched defs:univ (Results 1 – 9 of 9) sorted by relevance
64 isl::set univ(ctx, "{ : }"); in test_return_bool() local
49 isl::set univ(ctx, "{ : }"); in test_return_bool() local
375 int univ; in insert_if_node() local
3282 isl_union_map *univ; in isl_schedule_node_group() local3295 isl_union_set *univ; in isl_schedule_node_group() local
3566 isl_bool univ, known; in isl_map_plain_gist_basic_map() local
4755 isl_set *univ; in add_non_trivial_lineality() local
3350 isl_union_map *univ; in isl_union_map_plain_is_injective() local
9304 isl_bool *univ = user; in involves_divs() local9328 isl_bool univ; in isl_basic_map_is_universe() local
532 IntegerPolyhedron univ = parseIntegerPolyhedron("(x) : ()"); in TEST() local