Polly 20.0.0git
|
Public Attributes | |
isl_basic_set * | coeff |
int | start |
int | dim |
int | n_line |
int | n_ray |
int | n_vertex |
int | pos |
Definition at line 355 of file isl_farkas.c.
isl_basic_set* isl_coefficients_factor_data::coeff |
Definition at line 356 of file isl_farkas.c.
Referenced by add_lines(), add_rays(), add_vertex(), factor_first_vertex(), isl_basic_set_coefficients_factor(), and isl_coefficients_product_data_clear().
int isl_coefficients_factor_data::dim |
Definition at line 358 of file isl_farkas.c.
Referenced by isl_basic_set_coefficients_factor(), scale_factor(), and set_factor().
int isl_coefficients_factor_data::n_line |
Definition at line 359 of file isl_farkas.c.
Referenced by add_lines(), construct_product(), and isl_basic_set_coefficients_factor().
int isl_coefficients_factor_data::n_ray |
Definition at line 360 of file isl_farkas.c.
Referenced by add_rays(), construct_product(), factor_first_vertex(), and isl_basic_set_coefficients_factor().
int isl_coefficients_factor_data::n_vertex |
Definition at line 361 of file isl_farkas.c.
Referenced by add_rays(), construct_product(), factor_first_vertex(), and isl_basic_set_coefficients_factor().
int isl_coefficients_factor_data::pos |
Definition at line 362 of file isl_farkas.c.
Referenced by add_vertex(), factor_first_vertex(), and next_vertex().
int isl_coefficients_factor_data::start |
Definition at line 357 of file isl_farkas.c.
Referenced by isl_basic_set_coefficients_factor(), scale_factor(), and set_factor().