Lines Matching defs:space
69 static __isl_give isl_space *isl_space_prefix(__isl_take isl_space *space, in isl_space_prefix()
124 static __isl_give isl_space *isl_space_coefficients(__isl_take isl_space *space) in isl_space_coefficients()
154 static __isl_give isl_space *isl_space_unprefix(__isl_take isl_space *space, in isl_space_unprefix()
194 static __isl_give isl_space *isl_space_solutions(__isl_take isl_space *space) in isl_space_solutions()
214 static __isl_give isl_basic_set *rational_universe(__isl_take isl_space *space) in rational_universe()
242 isl_space *space; in farkas() local
680 isl_space *space; in construct_product() local
769 isl_space *space; in isl_basic_set_coefficients_morphed_product() local
842 isl_space *space; in isl_basic_set_coefficients() local
869 isl_space *space; in isl_basic_set_solutions() local
900 isl_space *space = isl_set_get_space(set); in isl_set_coefficients() local
949 isl_space *space = isl_set_get_space(set); in isl_set_solutions() local