Home
last modified time | relevance | path

Searched refs:isl_morph_basic_set (Results 1 – 8 of 8) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_morph.c645 __isl_give isl_basic_set *isl_morph_basic_set(__isl_take isl_morph *morph, in isl_morph_basic_set() function
726 dom = isl_morph_basic_set(isl_morph_inverse(isl_morph_copy(morph2)), in isl_morph_compose()
729 ran = isl_morph_basic_set(isl_morph_copy(morph1), in isl_morph_compose()
779 bset = isl_morph_basic_set(isl_morph_copy(morph), bset); in isl_basic_set_full_compression()
782 bset = isl_morph_basic_set(isl_morph_copy(morph2), bset); in isl_basic_set_full_compression()
H A Dpolyhedron_remove_redundant_equalities.c35 bset = isl_morph_basic_set(morph, bset); in main()
H A Disl_morph.h81 __isl_give isl_basic_set *isl_morph_basic_set(__isl_take isl_morph *morph,
H A Disl_vertices.c335 bset = isl_morph_basic_set(isl_morph_copy(morph), bset); in lower_dim_vertices()
1422 vertices->v[i].dom = isl_morph_basic_set( in isl_morph_vertices()
1424 vertices->v[i].vertex = isl_morph_basic_set( in isl_morph_vertices()
1431 vertices->c[i].dom = isl_morph_basic_set( in isl_morph_vertices()
H A Disl_bound.c139 bset = isl_morph_basic_set(isl_morph_copy(morph), bset); in unwrapped_guarded_poly_bound()
H A Disl_factorization.c364 bset = isl_morph_basic_set(isl_morph_copy(f->morph), bset); in isl_factorizer_every_factor_basic_set()
H A Disl_polynomial.c5120 bset = isl_morph_basic_set(isl_morph_copy(morph), bset); in isl_basic_set_multiplicative_call()
H A Disl_map.c7772 bset = isl_morph_basic_set(isl_morph_copy(morph1), bset); in base_compute_divs()
7775 bset = isl_morph_basic_set(morph2, bset); in base_compute_divs()