Lines Matching defs:morph2
731 /* Construct a morphism that first does morph2 and then morph1.
734 __isl_take isl_morph *morph2)
739 if (!morph1 || !morph2)
742 map = isl_mat_product(isl_mat_copy(morph1->map), isl_mat_copy(morph2->map));
743 inv = isl_mat_product(isl_mat_copy(morph2->inv), isl_mat_copy(morph1->inv));
744 dom = isl_morph_basic_set(isl_morph_inverse(isl_morph_copy(morph2)),
746 dom = isl_basic_set_intersect(dom, isl_basic_set_copy(morph2->dom));
748 isl_basic_set_copy(morph2->ran));
752 isl_morph_free(morph2);
757 isl_morph_free(morph2);
791 isl_morph *morph, *morph2;
799 morph2 = isl_basic_set_parameter_compression(bset);
800 bset = isl_morph_basic_set(isl_morph_copy(morph2), bset);
802 morph = isl_morph_compose(morph2, morph);
804 morph2 = isl_basic_set_variable_compression(bset, isl_dim_set);
807 morph = isl_morph_compose(morph2, morph);