Searched refs:non_int_idx (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c372 int num_non_int_vars, non_int_idx; member in struct:prop_info
379 ** non_int_idx won't be looked at with num_non_int_vars set to 0).
2491 prop->non_int_idx = idx;
2523 prop->non_int_idx = -1; /* Just to be safe. */
2525 a.l = con->lo_vec[prop->non_int_idx];
2526 a.u = con->hi_vec[prop->non_int_idx];
2528 tmp = con->var_vec + prop->non_int_idx;
2536 prop->non_int_idx = -1;
2539 prop->non_int_idx = -1;
2542 prop->non_int_idx
[all...]

Completed in 36 milliseconds