Home | History | Annotate | Download | only in dist

Lines Matching defs:int1

82 	isl_int int1, int2;
84 	isl_int_init(int1);
88 		isl_int_read(int1, arg1);
92 			isl_sioimath_promote(int1);
94 			isl_sioimath_try_demote(int1);
101 		(*fn)(int1, int2);
104 	isl_int_clear(int1);
112 	isl_int int1, int2, int3;
114 	isl_int_init(int1);
119 		isl_int_read(int1, arg1);
124 			isl_sioimath_promote(int1);
126 			isl_sioimath_try_demote(int1);
138 		(*fn)(int1, int2, int3);
141 	isl_int_clear(int1);
154 	isl_int int1, int2;
156 	isl_int_init(int1);
159 	isl_int_read(int1, arg1);
162 	(*fn)(int1, int2);
164 	isl_int_clear(int1);
171 	isl_int int1, int2, int3;
173 	isl_int_init(int1);
177 	isl_int_read(int1, arg1);
181 	(*fn)(int1, int2, int3);
183 	isl_int_clear(int1);