Lines Matching defs:count
212 ** for a constraint. We could store the flags and (optional) term count in
225 ** | Term count |
1930 pword *var_buf, int count)
1937 if (count > 0 && !memcmp(con->lo_vec, con->hi_vec,
1938 count * sizeof(double))) {
1950 if (count < con->term_count) {
1952 printf("term count: %d -> %d.\n", con->term_count, count);
1959 if (count > 0) {
1963 did = ec_did("[]", count);
1965 n = con->term_count - count;
1968 Set_Buffer_Size(lo_buf, count * sizeof(double));
1973 Set_Buffer_Size(hi_buf, count * sizeof(double));
1997 con->term_count = count;
2011 if (count > 0) {
3673 ** Don't count it as part of idx or infinity tracking won't
3743 int count = 0;
3875 ** Don't count it as part of idx or infinity tracking won't
3918 Make_Ref(con->var_vec + count, tmp);
3919 con->lo_vec[count] = a.b.l;
3920 con->hi_vec[count] = a.b.u;
3921 count++;
4060 Make_Ref(con->var_vec + count, tmp);
4061 con->lo_vec[count] = a.b.l;
4062 con->hi_vec[count] = a.b.u;
4063 count++;
4109 finish_setting_up_con_struct(con, lo_buf, hi_buf, var_buf, count);
4347 /* Just do a type check and count the terms for now. */