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

- a -

• alambic_compute_predicate() : alambic.h
• alambic_error : alambic.h
• ALAMBIC_INT_NOT_SUPPORTED : alambic.h
• ALAMBIC_INVALID_DIV_CARDINALITY : alambic.h
• ALAMBIC_INVALID_DIV_DIMENSIONS : alambic.h
• ALAMBIC_INVALID_MOD_CARDINALITY : alambic.h
• ALAMBIC_INVALID_MOD_DIMENSIONS : alambic.h
• ALAMBIC_INVALID_MUL_CARDINALITY : alambic.h
• ALAMBIC_INVALID_MUL_DIMENSIONS : alambic.h
• ALAMBIC_INVALID_MUL_FACTOR : alambic.h
• ALAMBIC_NO_ERROR : alambic.h
• alambic_normalize_predicate() : alambic.h
• alambic_normalize_predicate_tree() : alambic.h
• ALAMBIC_POSI_NOT_SUPPORTED : alambic.h
• ALAMBIC_REAL_NOT_SUPPORTED : alambic.h
• armoise_context : armoise.h
• armoise_context_add() : armoise.h
• armoise_context_add_predicate_tree() : armoise.h
• armoise_context_add_reference() : armoise.h
• armoise_context_add_variable() : armoise.h
• armoise_context_create_for_predicates() : armoise.h
• armoise_context_create_for_variables() : armoise.h
• armoise_context_del_reference() : armoise.h
• armoise_context_get() : armoise.h
• armoise_context_get_cst_predicate() : armoise.h
• armoise_context_get_ids() : armoise.h
• armoise_context_get_parent() : armoise.h
• armoise_context_get_predicate() : armoise.h
• armoise_context_get_predicate_tree() : armoise.h
• armoise_context_get_table() : armoise.h
• armoise_context_get_variable() : armoise.h
• armoise_context_has() : armoise.h
• armoise_context_has_locally() : armoise.h
• armoise_context_has_predicate_tree() : armoise.h
• armoise_context_has_variable() : armoise.h
• armoise_domain : armoise.h
• armoise_domain_add_reference() : armoise.h
• armoise_domain_attr : armoise.h
• ARMOISE_DOMAIN_ATTR_FOR_INTEGERS : armoise.h
• ARMOISE_DOMAIN_ATTR_FOR_NATURALS : armoise.h
• ARMOISE_DOMAIN_ATTR_FOR_POSITIVES : armoise.h
• ARMOISE_DOMAIN_ATTR_FOR_REALS : armoise.h
• armoise_domain_create() : armoise.h
• armoise_domain_create_compound_domain() : armoise.h
• armoise_domain_create_empty() : armoise.h
• armoise_domain_create_with_attr() : armoise.h
• armoise_domain_del_reference() : armoise.h
• armoise_domain_duplicate() : armoise.h
• armoise_domain_equals() : armoise.h
• armoise_domain_get_attr() : armoise.h
• armoise_domain_get_component() : armoise.h
• armoise_domain_get_max() : armoise.h
• armoise_domain_get_min() : armoise.h
• armoise_domain_get_width() : armoise.h
• ARMOISE_DOMAIN_HAS_POSITIVES : armoise.h
• armoise_domain_is_empty() : armoise.h
• armoise_domain_is_finite() : armoise.h
• armoise_domain_is_restricted_to_integers() : armoise.h
• armoise_domain_is_singleton() : armoise.h
• armoise_domain_log() : armoise.h
• armoise_domain_set_attr() : armoise.h
• armoise_domain_set_component() : armoise.h
• armoise_formula : armoise.h
• armoise_formula_add_reference() : armoise.h
• armoise_formula_create_and() : armoise.h
• armoise_formula_create_constant() : armoise.h
• armoise_formula_create_eq() : armoise.h
• armoise_formula_create_equiv() : armoise.h
• armoise_formula_create_exists() : armoise.h
• armoise_formula_create_forall() : armoise.h
• armoise_formula_create_geq() : armoise.h
• armoise_formula_create_gt() : armoise.h
• armoise_formula_create_imply() : armoise.h
• armoise_formula_create_in() : armoise.h
• armoise_formula_create_leq() : armoise.h
• armoise_formula_create_lt() : armoise.h
• armoise_formula_create_neq() : armoise.h
• armoise_formula_create_not() : armoise.h
• armoise_formula_create_or() : armoise.h
• armoise_formula_create_paren() : armoise.h
• armoise_formula_del_reference() : armoise.h
• armoise_formula_get_cmp_left_term() : armoise.h
• armoise_formula_get_cmp_right_term() : armoise.h
• armoise_formula_get_in_predicate() : armoise.h
• armoise_formula_get_in_term() : armoise.h
• armoise_formula_get_kind() : armoise.h
• armoise_formula_get_nb_operands() : armoise.h
• armoise_formula_get_operand() : armoise.h
• armoise_formula_get_quantified_formula() : armoise.h
• armoise_formula_get_quantified_variables() : armoise.h
• armoise_formula_get_value() : armoise.h
• armoise_formula_get_variables() : armoise.h
• armoise_formula_kind : armoise.h
• armoise_formula_log() : armoise.h
• armoise_init() : armoise.h
• armoise_interp_definition() : armoise-interp.h
• armoise_interp_predicate() : armoise-interp.h
• armoise_normalized_predicate : alambic.h
• armoise_predicate : armoise.h
• armoise_predicate_add_reference() : armoise.h
• armoise_predicate_compute_domain() : armoise.h
• armoise_predicate_create_add() : armoise.h
• armoise_predicate_create_complement() : armoise.h
• armoise_predicate_create_delta() : armoise.h
• armoise_predicate_create_diff() : armoise.h
• armoise_predicate_create_div() : armoise.h
• armoise_predicate_create_empty() : armoise.h
• armoise_predicate_create_finite_set() : armoise.h
• armoise_predicate_create_indirection() : armoise.h
• armoise_predicate_create_integer() : armoise.h
• armoise_predicate_create_integers() : armoise.h
• armoise_predicate_create_intersection() : armoise.h
• armoise_predicate_create_mod() : armoise.h
• armoise_predicate_create_mul() : armoise.h
• armoise_predicate_create_naturals() : armoise.h
• armoise_predicate_create_neg() : armoise.h
• armoise_predicate_create_paren() : armoise.h
• armoise_predicate_create_positives() : armoise.h
• armoise_predicate_create_product() : armoise.h
• armoise_predicate_create_reals() : armoise.h
• armoise_predicate_create_simple_set() : armoise.h
• armoise_predicate_create_sub() : armoise.h
• armoise_predicate_create_union() : armoise.h
• armoise_predicate_del_reference() : armoise.h
• armoise_predicate_get_arity() : armoise.h
• armoise_predicate_get_context() : armoise.h
• armoise_predicate_get_domain() : armoise.h
• armoise_predicate_get_element() : armoise.h
• armoise_predicate_get_indirection() : armoise.h
• armoise_predicate_get_kind() : armoise.h
• armoise_predicate_get_largest_domain() : armoise.h
• armoise_predicate_get_nb_elements() : armoise.h
• armoise_predicate_get_nb_operands() : armoise.h
• armoise_predicate_get_operand() : armoise.h
• armoise_predicate_get_operand_at() : armoise.h
• armoise_predicate_get_set_formula() : armoise.h
• armoise_predicate_get_set_proto() : armoise.h
• armoise_predicate_get_type() : armoise.h
• armoise_predicate_get_variables() : armoise.h
• armoise_predicate_kind : armoise.h
• armoise_predicate_log() : armoise.h
• armoise_predicate_log_tree() : armoise.h
• armoise_read_file() : armoise-input.h
• armoise_read_stream() : armoise-input.h
• armoise_read_string() : armoise-input.h
• armoise_term : armoise.h
• armoise_term_add_reference() : armoise.h
• armoise_term_create_add() : armoise.h
• armoise_term_create_constant() : armoise.h
• armoise_term_create_div() : armoise.h
• armoise_term_create_mod() : armoise.h
• armoise_term_create_mul() : armoise.h
• armoise_term_create_neg() : armoise.h
• armoise_term_create_sub() : armoise.h
• armoise_term_create_variable() : armoise.h
• armoise_term_create_vector() : armoise.h
• armoise_term_create_vector_element() : armoise.h
• armoise_term_del_reference() : armoise.h
• armoise_term_get_arity() : armoise.h
• armoise_term_get_dim() : armoise.h
• armoise_term_get_kind() : armoise.h
• armoise_term_get_nb_operands() : armoise.h
• armoise_term_get_operand() : armoise.h
• armoise_term_get_operand_at() : armoise.h
• armoise_term_get_type() : armoise.h
• armoise_term_get_value() : armoise.h
• armoise_term_get_variable() : armoise.h
• armoise_term_get_variables() : armoise.h
• armoise_term_get_vec_element_index() : armoise.h
• armoise_term_get_vec_element_variable() : armoise.h
• armoise_term_is_constant() : armoise.h
• armoise_term_kind : armoise.h
• armoise_term_log() : armoise.h
• armoise_terminate() : armoise.h
• armoise_tree : armoise-tree.h
• armoise_type : armoise.h
• armoise_type_add_reference() : armoise.h
• armoise_type_create_product() : armoise.h
• armoise_type_create_scalar() : armoise.h
• armoise_type_del_reference() : armoise.h
• armoise_type_duplicate() : armoise.h
• armoise_type_equals() : armoise.h
• armoise_type_get_depth_width() : armoise.h
• armoise_type_get_subtype() : armoise.h
• armoise_type_get_subtype_ref() : armoise.h
• armoise_type_get_width() : armoise.h
• armoise_type_is_scalar() : armoise.h
• armoise_type_log() : armoise.h
• armoise_variable : armoise.h
• armoise_variable_create() : armoise.h
• armoise_variable_del_reference() : armoise.h
• armoise_variable_get_domain() : armoise.h
• armoise_variable_get_name() : armoise.h
• armoise_variable_get_type() : armoise.h
• armoise_variable_log() : armoise.h
• armoise_variable_set_domain() : armoise.h