| ppl_assign_Coefficient_from_Coefficient(ppl_Coefficient_t dst, ppl_const_Coefficient_t src) | ppl_Coefficient_tag | [related] |
| ppl_assign_Coefficient_from_mpz_t(ppl_Coefficient_t dst, mpz_t z) | ppl_Coefficient_tag | [related] |
| ppl_Coefficient_is_bounded(void) | ppl_Coefficient_tag | [related] |
| ppl_Coefficient_max(mpz_t max) | ppl_Coefficient_tag | [related] |
| ppl_Coefficient_min(mpz_t min) | ppl_Coefficient_tag | [related] |
| ppl_Coefficient_OK(ppl_const_Coefficient_t c) | ppl_Coefficient_tag | [related] |
| ppl_Coefficient_to_mpz_t(ppl_const_Coefficient_t c, mpz_t z) | ppl_Coefficient_tag | [related] |
| ppl_delete_Coefficient(ppl_const_Coefficient_t c) | ppl_Coefficient_tag | [related] |
| ppl_new_Coefficient(ppl_Coefficient_t *pc) | ppl_Coefficient_tag | [related] |
| ppl_new_Coefficient_from_Coefficient(ppl_Coefficient_t *pc, ppl_const_Coefficient_t c) | ppl_Coefficient_tag | [related] |
| ppl_new_Coefficient_from_mpz_t(ppl_Coefficient_t *pc, mpz_t z) | ppl_Coefficient_tag | [related] |
1.6.3