Here is a list of all documented functions, variables, defines, enums, and typedefs with links to the documentation:

- p -

• prestaf_crt_linear_constraint_automaton() : prestaf-automata.h
• prestaf_formula : prestaf-formula.h
• prestaf_formula_add_reference() : prestaf-formula.h
• prestaf_formula_create_and() : prestaf-formula.h
• prestaf_formula_create_eq() : prestaf-formula.h
• prestaf_formula_create_equiv() : prestaf-formula.h
• prestaf_formula_create_exists() : prestaf-formula.h
• prestaf_formula_create_forall() : prestaf-formula.h
• prestaf_formula_create_geq() : prestaf-formula.h
• prestaf_formula_create_gt() : prestaf-formula.h
• prestaf_formula_create_imply() : prestaf-formula.h
• prestaf_formula_create_leq() : prestaf-formula.h
• prestaf_formula_create_lt() : prestaf-formula.h
• prestaf_formula_create_neq() : prestaf-formula.h
• prestaf_formula_create_not() : prestaf-formula.h
• prestaf_formula_create_or() : prestaf-formula.h
• prestaf_formula_del_reference() : prestaf-formula.h
• prestaf_formula_display() : prestaf-formula.h
• prestaf_formula_get_variables() : prestaf-formula.h
• prestaf_formula_linear_transform() : prestaf-formula.h
• prestaf_formula_solutions() : prestaf-formula.h
• prestaf_formula_statistics() : prestaf-formula.h
• prestaf_linear_term : prestaf-formula.h
• prestaf_linear_term_add_reference() : prestaf-formula.h
• prestaf_linear_term_create() : prestaf-formula.h
• prestaf_linear_term_del_reference() : prestaf-formula.h
• prestaf_linear_term_get_coef() : prestaf-formula.h
• prestaf_linear_term_get_ith_coef() : prestaf-formula.h
• prestaf_linear_term_minus() : prestaf-formula.h
• prestaf_linear_term_neg() : prestaf-formula.h
• prestaf_linear_term_plus() : prestaf-formula.h
• prestaf_predicate : prestaf-predicate.h
• prestaf_predicate_add_reference() : prestaf-predicate.h
• prestaf_predicate_and() : prestaf-predicate.h
• prestaf_predicate_create() : prestaf-predicate.h
• prestaf_predicate_del_reference() : prestaf-predicate.h
• prestaf_predicate_display_vectors() : prestaf-predicate.h
• prestaf_predicate_equiv() : prestaf-predicate.h
• prestaf_predicate_exists() : prestaf-predicate.h
• prestaf_predicate_forall() : prestaf-predicate.h
• prestaf_predicate_get_relation() : prestaf-predicate.h
• prestaf_predicate_get_variables() : prestaf-predicate.h
• prestaf_predicate_imply() : prestaf-predicate.h
• prestaf_predicate_multi_and() : prestaf-predicate.h
• prestaf_predicate_multi_or() : prestaf-predicate.h
• prestaf_predicate_not() : prestaf-predicate.h
• prestaf_predicate_or() : prestaf-predicate.h
• prestaf_predicate_rename() : prestaf-predicate.h