Searched refs:isl_vec_read_from_file (Results 1 – 3 of 3) sorted by relevance
72 obj = isl_vec_read_from_file(ctx, stdin); in main()
3422 __isl_give isl_vec *isl_vec_read_from_file(isl_ctx *ctx, FILE *input) in isl_vec_read_from_file() function
64 __isl_give isl_vec *isl_vec_read_from_file(isl_ctx *ctx, FILE *input);