Lines Matching defs:input
227 FILE *input;
233 input = fopen(filename, "r");
234 assert(input);
236 bset1 = isl_basic_set_read_from_file(ctx, input);
245 fclose(input);
887 FILE *input;
893 input = fopen(filename, "r");
894 assert(input);
896 bset1 = isl_basic_set_read_from_file(ctx, input);
897 bmap = isl_basic_map_read_from_file(ctx, input);
901 bset2 = isl_basic_set_read_from_file(ctx, input);
909 fclose(input);
921 FILE *input;
926 input = fopen(filename, "r");
927 assert(input);
929 bset1 = isl_basic_set_read_from_file(ctx, input);
930 bset2 = isl_basic_set_read_from_file(ctx, input);
940 fclose(input);
1000 FILE *input;
1006 input = fopen(filename, "r");
1007 assert(input);
1009 bset1 = isl_basic_set_read_from_file(ctx, input);
1010 bset2 = isl_basic_set_read_from_file(ctx, input);
1015 bset2 = isl_basic_set_read_from_file(ctx, input);
1023 fclose(input);
1073 FILE *input;
1078 input = fopen(filename, "r");
1079 assert(input);
1081 bset1 = isl_basic_set_read_from_file(ctx, input);
1082 bset2 = isl_basic_set_read_from_file(ctx, input);
1086 bset2 = isl_basic_set_read_from_file(ctx, input);
1094 fclose(input);
1173 "coalesced set not equal to input", return -1);
1214 * "str" is a string representation of the input set.
1337 * That is, check that the output is always equal to the input
3741 /* Check that isl_basic_map_curry does not modify input.
4418 * when transferring equalities for the input to the context, resulting