found = set_find(pi->num2pos, &find, sizeof(find), HASH_NUM(num));
if (!found)
return -1;
found = set_find(pi->num2pos, &find, sizeof(find), HASH_NUM(num));
if (!found)
return -1;
FILE *out = ffopen(pi->co->name, "milp", "wt");
DBG((dbg, LEVEL_1, "Dumping milp...\n"));
FILE *out = ffopen(pi->co->name, "milp", "wt");
DBG((dbg, LEVEL_1, "Dumping milp...\n"));
DBG((dbg, LEVEL_2, "BigM = %d\n", pi->bigM));
matrix_optimize(pi->Q);
DBG((dbg, LEVEL_2, "BigM = %d\n", pi->bigM));
matrix_optimize(pi->Q);
for (i=0; i<pi->x_dim; ++i)
if (matrix_row_first(pi->Q, i))
bitset_set(good_row, i);
for (i=0; i<pi->x_dim; ++i)
if (matrix_row_first(pi->Q, i))
bitset_set(good_row, i);
* Generate the initial problem matrices and vectors.
*/
static problem_instance_t *new_pi(const copy_opt_t *co) {
* Generate the initial problem matrices and vectors.
*/
static problem_instance_t *new_pi(const copy_opt_t *co) {
dbg = firm_dbg_register("ir.be.copyoptilp");
firm_dbg_set_mask(dbg, DEBUG_LVL);
if (!strcmp(co->name, DEBUG_IRG))
firm_dbg_set_mask(dbg, -1);
dbg = firm_dbg_register("ir.be.copyoptilp");
firm_dbg_set_mask(dbg, DEBUG_LVL);
if (!strcmp(co->name, DEBUG_IRG))
firm_dbg_set_mask(dbg, -1);
DBG((dbg, 0, "\t\t\t %5d %5d %5d\n", pi->x_dim, pi->A_dim, pi->B_dim));
if (pi->x_dim > 0) {
DBG((dbg, 0, "\t\t\t %5d %5d %5d\n", pi->x_dim, pi->A_dim, pi->B_dim));
if (pi->x_dim > 0) {