reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
459 prod = isl_calloc_type(tab1->mat->ctx, struct isl_tab); 460 if (!prod) 462 prod->mat = tab_mat_product(tab1->mat, tab2->mat, 465 if (!prod->mat) 467 prod->var = isl_alloc_array(tab1->mat->ctx, struct isl_tab_var, 469 if ((tab1->max_var + tab2->max_var) && !prod->var) 472 prod->var[i] = tab1->var[i]; 473 update_index1(&prod->var[i], r1, r2, d1, d2); 476 prod->var[tab1->n_var + i] = tab2->var[i]; 477 update_index2(&prod->var[tab1->n_var + i], 481 prod->con = isl_alloc_array(tab1->mat->ctx, struct isl_tab_var, 483 if ((tab1->max_con + tab2->max_con) && !prod->con) 486 prod->con[i] = tab1->con[i]; 487 update_index1(&prod->con[i], r1, r2, d1, d2); 490 prod->con[tab1->n_con + i] = tab2->con[i]; 491 update_index2(&prod->con[tab1->n_con + i], 495 prod->col_var = isl_alloc_array(tab1->mat->ctx, int, 497 if ((tab1->n_col + tab2->n_col) && !prod->col_var) 501 prod->col_var[pos] = tab1->col_var[i]; 510 prod->col_var[pos] = t; 512 prod->row_var = isl_alloc_array(tab1->mat->ctx, int, 514 if ((tab1->mat->n_row + tab2->mat->n_row) && !prod->row_var) 518 prod->row_var[pos] = tab1->row_var[i]; 527 prod->row_var[pos] = t; 529 prod->samples = NULL; 530 prod->sample_index = NULL; 531 prod->n_row = tab1->n_row + tab2->n_row; 532 prod->n_con = tab1->n_con + tab2->n_con; 533 prod->n_eq = 0; 534 prod->max_con = tab1->max_con + tab2->max_con; 535 prod->n_col = tab1->n_col + tab2->n_col; 536 prod->n_var = tab1->n_var + tab2->n_var; 537 prod->max_var = tab1->max_var + tab2->max_var; 538 prod->n_param = 0; 539 prod->n_div = 0; 540 prod->n_dead = tab1->n_dead + tab2->n_dead; 541 prod->n_redundant = tab1->n_redundant + tab2->n_redundant; 542 prod->rational = tab1->rational; 543 prod->empty = tab1->empty || tab2->empty; 544 prod->strict_redundant = tab1->strict_redundant || tab2->strict_redundant; 545 prod->need_undo = 0; 546 prod->in_undo = 0; 547 prod->M = tab1->M; 548 prod->cone = tab1->cone; 549 prod->bottom.type = isl_tab_undo_bottom; 550 prod->bottom.next = NULL; 551 prod->top = &prod->bottom; 551 prod->top = &prod->bottom; 553 prod->n_zero = 0; 554 prod->n_unbounded = 0; 555 prod->basis = NULL; 557 return prod; 559 isl_tab_free(prod);