Searched refs:non_redundant_matrix_entries (Results 1 – 4 of 4) sorted by relevance
2146 void non_redundant_matrix_entries(std::vector<Bit_Row>& non_redundant) const;
3032 non_redundant_matrix_entries(non_red); in strong_reduction_assign()3061 ::non_redundant_matrix_entries(std::vector<Bit_Row>& non_redundant) const { in non_redundant_matrix_entries() function in Parma_Polyhedra_Library::Octagonal_Shape3385 x.non_redundant_matrix_entries(x_non_redundant); in simplify_using_context_assign()7662 x.non_redundant_matrix_entries(x_non_red); in upper_bound_assign_if_exact()7664 y.non_redundant_matrix_entries(y_non_red); in upper_bound_assign_if_exact()7853 tx.non_redundant_matrix_entries(tx_non_red); in integer_upper_bound_assign_if_exact()7855 ty.non_redundant_matrix_entries(ty_non_red); in integer_upper_bound_assign_if_exact()
69419 void non_redundant_matrix_entries(std::vector<Bit_Row>& non_redundant) const;74086 non_redundant_matrix_entries(non_red);74115 ::non_redundant_matrix_entries(std::vector<Bit_Row>& non_redundant) const {74439 x.non_redundant_matrix_entries(x_non_redundant);78716 x.non_redundant_matrix_entries(x_non_red);78718 y.non_redundant_matrix_entries(y_non_red);78907 tx.non_redundant_matrix_entries(tx_non_red);78909 ty.non_redundant_matrix_entries(ty_non_red);
28600 non_redundant_matrix_entries(), so that it can be reused in other