PPL Configured C Language Interface  1.2
ppl_Congruence_tag Member List

This is the complete list of members for ppl_Congruence_tag, including all inherited members.

ppl_assign_Congruence_from_Congruence(ppl_Congruence_t dst, ppl_const_Congruence_t src)ppl_Congruence_tagrelated
ppl_Congruence_ascii_dump(ppl_const_Congruence_t x, FILE *stream)ppl_Congruence_tagrelated
ppl_Congruence_ascii_load(ppl_Congruence_t x, FILE *stream)ppl_Congruence_tagrelated
ppl_Congruence_coefficient(ppl_const_Congruence_t c, ppl_dimension_type var, ppl_Coefficient_t n)ppl_Congruence_tagrelated
ppl_Congruence_inhomogeneous_term(ppl_const_Congruence_t c, ppl_Coefficient_t n)ppl_Congruence_tagrelated
ppl_Congruence_modulus(ppl_const_Congruence_t c, ppl_Coefficient_t m)ppl_Congruence_tagrelated
ppl_Congruence_OK(ppl_const_Congruence_t c)ppl_Congruence_tagrelated
ppl_Congruence_space_dimension(ppl_const_Congruence_t c, ppl_dimension_type *m)ppl_Congruence_tagrelated
ppl_delete_Congruence(ppl_const_Congruence_t c)ppl_Congruence_tagrelated
ppl_io_asprint_Congruence(char **strp, ppl_const_Congruence_t x)ppl_Congruence_tagrelated
ppl_io_fprint_Congruence(FILE *stream, ppl_const_Congruence_t x)ppl_Congruence_tagrelated
ppl_io_print_Congruence(ppl_const_Congruence_t x)ppl_Congruence_tagrelated
ppl_new_Congruence(ppl_Congruence_t *pc, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t m)ppl_Congruence_tagrelated
ppl_new_Congruence_from_Congruence(ppl_Congruence_t *pc, ppl_const_Congruence_t c)ppl_Congruence_tagrelated
ppl_new_Congruence_zero_dim_false(ppl_Congruence_t *pc)ppl_Congruence_tagrelated
ppl_new_Congruence_zero_dim_integrality(ppl_Congruence_t *pc)ppl_Congruence_tagrelated