APRON 0.9.10: C Function Index

[ < ]

[ > ]

[ << ]

[ Up ]

[ >> ]

[Top]

[Contents]

[Index]

[ ? ]

C Function Index

Jump to:	A B C P

	Index Entry	Section

A
	`ap_abstract0_add_dimensions`	Change and permutation of dimensions of abstract values of level 0
	`ap_abstract0_add_ray_array`	Meet and Join of abstract values of level 0
	`ap_abstract0_apply_dimchange2`	Change and permutation of dimensions of abstract values of level 0
	`ap_abstract0_approximate`	Control of internal representation of level 0
	`ap_abstract0_assign_linexpr`	Additional functions on abstract values of level 0
	`ap_abstract0_assign_linexpr_array`	Assignements and Substitutions of abstract values of level 0
	`ap_abstract0_assign_texpr`	Additional functions on abstract values of level 0
	`ap_abstract0_assign_texpr_array`	Assignements and Substitutions of abstract values of level 0
	`ap_abstract0_bottom`	Constructors for abstract values of level 0
	`ap_abstract0_bound_dimension`	Extraction of properties of abstract values of level 0
	`ap_abstract0_bound_linexpr`	Extraction of properties of abstract values of level 0
	`ap_abstract0_bound_texpr`	Extraction of properties of abstract values of level 0
	`ap_abstract0_canonicalize`	Control of internal representation of level 0
	`ap_abstract0_closure`	Topological closure of abstract values of level 0
	`ap_abstract0_copy`	Allocating abstract values of level 0
	`ap_abstract0_deserialize_raw`	Serialization of abstract values of level 0
	`ap_abstract0_dimension`	Accessors for abstract values of level 0
	`ap_abstract0_expand`	Expansion and Folding of dimensions of abstract values of level 0
	`ap_abstract0_fdump`	Printing abstract values of level 0
	`ap_abstract0_fold`	Expansion and Folding of dimensions of abstract values of level 0
	`ap_abstract0_forget_array`	Existential quantification of abstract values of level 0
	`ap_abstract0_fprint`	Printing abstract values of level 0
	`ap_abstract0_fprintdiff`	Printing abstract values of level 0
	`ap_abstract0_free`	Allocating abstract values of level 0
	`ap_abstract0_hash`	Control of internal representation of level 0
	`ap_abstract0_is_bottom`	Tests on abstract values of level 0
	`ap_abstract0_is_dimension_unconstrained`	Tests on abstract values of level 0
	`ap_abstract0_is_eq`	Tests on abstract values of level 0
	`ap_abstract0_is_leq`	Tests on abstract values of level 0
	`ap_abstract0_is_top`	Tests on abstract values of level 0
	`ap_abstract0_join`	Meet and Join of abstract values of level 0
	`ap_abstract0_join_array`	Meet and Join of abstract values of level 0
	`ap_abstract0_manager`	Additional functions on abstract values of level 0
	`ap_abstract0_meet`	Meet and Join of abstract values of level 0
	`ap_abstract0_meet_array`	Meet and Join of abstract values of level 0
	`ap_abstract0_meet_lincons_array`	Meet and Join of abstract values of level 0
	`ap_abstract0_meet_tcons_array`	Meet and Join of abstract values of level 0
	`ap_abstract0_minimize`	Control of internal representation of level 0
	`ap_abstract0_of_box`	Constructors for abstract values of level 0
	`ap_abstract0_of_lincons_array`	Additional functions on abstract values of level 0
	`ap_abstract0_of_tcons_array`	Additional functions on abstract values of level 0
	`ap_abstract0_permute_dimensions`	Change and permutation of dimensions of abstract values of level 0
	`ap_abstract0_remove_dimensions`	Change and permutation of dimensions of abstract values of level 0
	`ap_abstract0_sat_interval`	Tests on abstract values of level 0
	`ap_abstract0_sat_lincons`	Tests on abstract values of level 0
	`ap_abstract0_sat_tcons`	Tests on abstract values of level 0
	`ap_abstract0_serialize_raw`	Serialization of abstract values of level 0
	`ap_abstract0_size`	Allocating abstract values of level 0
	`ap_abstract0_substitute_linexpr`	Additional functions on abstract values of level 0
	`ap_abstract0_substitute_linexpr_array`	Assignements and Substitutions of abstract values of level 0
	`ap_abstract0_substitute_texpr`	Additional functions on abstract values of level 0
	`ap_abstract0_substitute_texpr_array`	Assignements and Substitutions of abstract values of level 0
	`ap_abstract0_top`	Constructors for abstract values of level 0
	`ap_abstract0_to_box`	Extraction of properties of abstract values of level 0
	`ap_abstract0_to_generator_array`	Extraction of properties of abstract values of level 0
	`ap_abstract0_to_lincons_array`	Extraction of properties of abstract values of level 0
	`ap_abstract0_to_tcons_array`	Extraction of properties of abstract values of level 0
	`ap_abstract0_widening`	Widening of abstract values of level 0
	`ap_abstract0_widening_threshold`	Additional functions on abstract values of level 0
	`ap_abstract1_abstract0`	Accessors for abstract values of level 1
	`ap_abstract1_add_ray_array`	Meet and Join of abstract values of level 1
	`ap_abstract1_approximate`	Control of internal representation of abstract values of level 1
	`ap_abstract1_assign_linexpr`	Additional functions on abstract values of level 1
	`ap_abstract1_assign_linexpr_array`	Assignements and Substitutions of abstract values of level 1
	`ap_abstract1_assign_texpr`	Additional functions on abstract values of level 1
	`ap_abstract1_assign_texpr_array`	Assignements and Substitutions of abstract values of level 1
	`ap_abstract1_bottom`	Constructors for abstract values of level 1
	`ap_abstract1_bound_linexpr`	Extraction of properties of abstract values of level 1
	`ap_abstract1_bound_texpr`	Extraction of properties of abstract values of level 1
	`ap_abstract1_bound_variable`	Extraction of properties of abstract values of level 1
	`ap_abstract1_canonicalize`	Control of internal representation of abstract values of level 1
	`ap_abstract1_change_environment`	Change of environments of abstract values of level 1
	`ap_abstract1_clear`	Allocating abstract values of level 1
	`ap_abstract1_closure`	Topological closure of abstract values of level 1
	`ap_abstract1_copy`	Allocating abstract values of level 1
	`ap_abstract1_deserialize_raw`	Serialization of abstract values of level 1
	`ap_abstract1_environment`	Accessors for abstract values of level 1
	`ap_abstract1_expand`	Expansion and Folding of dimensions of abstract values of level 1
	`ap_abstract1_fdump`	Printing abstract values of level 1
	`ap_abstract1_fold`	Expansion and Folding of dimensions of abstract values of level 1
	`ap_abstract1_forget_array`	Existential quantification of abstract values of level 1
	`ap_abstract1_fprint`	Printing abstract values of level 1
	`ap_abstract1_fprintdiff`	Printing abstract values of level 1
	`ap_abstract1_hash`	Control of internal representation of abstract values of level 1
	`ap_abstract1_intlinear_of_tree`	Additional functions on abstract values of level 1
	`ap_abstract1_is_bottom`	Tests on abstract values of level 1
	`ap_abstract1_is_eq`	Tests on abstract values of level 1
	`ap_abstract1_is_leq`	Tests on abstract values of level 1
	`ap_abstract1_is_top`	Tests on abstract values of level 1
	`ap_abstract1_is_variable_unconstrained`	Tests on abstract values of level 1
	`ap_abstract1_join`	Meet and Join of abstract values of level 1
	`ap_abstract1_join_array`	Meet and Join of abstract values of level 1
	`ap_abstract1_manager`	Accessors for abstract values of level 1
	`ap_abstract1_meet`	Meet and Join of abstract values of level 1
	`ap_abstract1_meet_array`	Meet and Join of abstract values of level 1
	`ap_abstract1_meet_lincons_array`	Meet and Join of abstract values of level 1
	`ap_abstract1_meet_tcons_array`	Meet and Join of abstract values of level 1
	`ap_abstract1_minimize`	Control of internal representation of abstract values of level 1
	`ap_abstract1_minimize_environment`	Change of environments of abstract values of level 1
	`ap_abstract1_of_box`	Constructors for abstract values of level 1
	`ap_abstract1_of_lincons_array`	Additional functions on abstract values of level 1
	`ap_abstract1_of_tcons_array`	Additional functions on abstract values of level 1
	`ap_abstract1_quasilinear_of_intlinear`	Additional functions on abstract values of level 1
	`ap_abstract1_rename_array`	Change of environments of abstract values of level 1
	`ap_abstract1_sat_interval`	Tests on abstract values of level 1
	`ap_abstract1_sat_lincons`	Tests on abstract values of level 1
	`ap_abstract1_sat_tcons`	Tests on abstract values of level 1
	`ap_abstract1_serialize_raw`	Serialization of abstract values of level 1
	`ap_abstract1_size`	Allocating abstract values of level 1
	`ap_abstract1_substitute_linexpr`	Additional functions on abstract values of level 1
	`ap_abstract1_substitute_linexpr_array`	Assignements and Substitutions of abstract values of level 1
	`ap_abstract1_substitute_texpr`	Additional functions on abstract values of level 1
	`ap_abstract1_substitute_texpr_array`	Assignements and Substitutions of abstract values of level 1
	`ap_abstract1_top`	Constructors for abstract values of level 1
	`ap_abstract1_to_box`	Extraction of properties of abstract values of level 1
	`ap_abstract1_to_generator_array`	Extraction of properties of abstract values of level 1
	`ap_abstract1_to_lincons_array`	Extraction of properties of abstract values of level 1
	`ap_abstract1_to_tcons_array`	Extraction of properties of abstract values of level 1
	`ap_abstract1_unify`	Additional functions on abstract values of level 1
	`ap_abstract1_widening`	Widening of abstract values of level 1
	`ap_abstract1_widening_threshold`	Widening of abstract values of level 1
	`ap_coeff_alloc`	Initializing coefficients
	`ap_coeff_alloc_set`	Assigning coefficients
	`ap_coeff_alloc_set_interval`	Assigning coefficients
	`ap_coeff_alloc_set_scalar`	Assigning coefficients
	`ap_coeff_clear`	Initializing coefficients
	`ap_coeff_cmp`	Comparing coefficients
	`ap_coeff_equal`	Comparing coefficients
	`ap_coeff_fprint`	Other operations on coefficients
	`ap_coeff_free`	Initializing coefficients
	`ap_coeff_hash`	Other operations on coefficients
	`ap_coeff_init`	Initializing coefficients
	`ap_coeff_init_set`	Initializing coefficients
	`ap_coeff_neg`	Other operations on coefficients
	`ap_coeff_reduce`	Initializing coefficients
	`ap_coeff_reinit`	Initializing coefficients
	`ap_coeff_set`	Assigning coefficients
	`ap_coeff_set_interval`	Assigning coefficients
	`ap_coeff_set_interval_double`	Assigning coefficients
	`ap_coeff_set_interval_frac`	Assigning coefficients
	`ap_coeff_set_interval_int`	Assigning coefficients
	`ap_coeff_set_interval_mpq`	Assigning coefficients
	`ap_coeff_set_interval_scalar`	Assigning coefficients
	`ap_coeff_set_scalar`	Assigning coefficients
	`ap_coeff_set_scalar_double`	Assigning coefficients
	`ap_coeff_set_scalar_frac`	Assigning coefficients
	`ap_coeff_set_scalar_int`	Assigning coefficients
	`ap_coeff_set_scalar_mpq`	Assigning coefficients
	`ap_coeff_swap`	Other operations on coefficients
	`ap_coeff_zero`	Comparing coefficients
	`ap_dimchange2_alloc`	Manipulating changes of dimensions
	`ap_dimchange2_clear`	Manipulating changes of dimensions
	`ap_dimchange2_fprint`	Manipulating changes of dimensions
	`ap_dimchange2_free`	Manipulating changes of dimensions
	`ap_dimchange2_init`	Manipulating changes of dimensions
	`ap_dimchange_add_invert`	Manipulating changes of dimensions
	`ap_dimchange_alloc`	Manipulating changes of dimensions
	`ap_dimchange_clear`	Manipulating changes of dimensions
	`ap_dimchange_fprint`	Manipulating changes of dimensions
	`ap_dimchange_free`	Manipulating changes of dimensions
	`ap_dimchange_init`	Manipulating changes of dimensions
	`ap_dimperm_alloc`	Manipulating permutations of dimensions
	`ap_dimperm_clear`	Manipulating permutations of dimensions
	`ap_dimperm_compose`	Manipulating permutations of dimensions
	`ap_dimperm_fprint`	Manipulating permutations of dimensions
	`ap_dimperm_free`	Manipulating permutations of dimensions
	`ap_dimperm_init`	Manipulating permutations of dimensions
	`ap_dimperm_invert`	Manipulating permutations of dimensions
	`ap_dimperm_set_id`	Manipulating permutations of dimensions
	`AP_DIM_MAX`	Dimensions and related operations (‘`ap_dimension.h`’)
	`ap_environment_add`	Environments (‘`ap_environment.h`’)
	`ap_environment_alloc`	Environments (‘`ap_environment.h`’)
	`ap_environment_alloc_empty`	Environments (‘`ap_environment.h`’)
	`ap_environment_compare`	Environments (‘`ap_environment.h`’)
	`ap_environment_copy`	Environments (‘`ap_environment.h`’)
	`ap_environment_dimchange`	Environments (‘`ap_environment.h`’)
	`ap_environment_dimchange2`	Environments (‘`ap_environment.h`’)
	`ap_environment_dim_of_var`	Environments (‘`ap_environment.h`’)
	`ap_environment_fdump`	Environments (‘`ap_environment.h`’)
	`ap_environment_free`	Environments (‘`ap_environment.h`’)
	`ap_environment_hash`	Environments (‘`ap_environment.h`’)
	`ap_environment_is_eq`	Environments (‘`ap_environment.h`’)
	`ap_environment_is_leq`	Environments (‘`ap_environment.h`’)
	`ap_environment_lce`	Environments (‘`ap_environment.h`’)
	`ap_environment_lce_array`	Environments (‘`ap_environment.h`’)
	`ap_environment_remove`	Environments (‘`ap_environment.h`’)
	`ap_environment_rename`	Environments (‘`ap_environment.h`’)
	`ap_environment_var_of_dim`	Environments (‘`ap_environment.h`’)
	`ap_funopt_init`	Options
	`ap_generator0_add_dimensions`	Change of dimensions and permutations of generators of level 0
	`ap_generator0_add_dimensions_with`	Change of dimensions and permutations of generators of level 0
	`ap_generator0_array_add_dimensions`	Change of dimensions and permutations of generators of level 0
	`ap_generator0_array_add_dimensions_with`	Change of dimensions and permutations of generators of level 0
	`ap_generator0_array_clear`	Arrays of generators of level 0
	`ap_generator0_array_fprint`	Arrays of generators of level 0
	`ap_generator0_array_make`	Arrays of generators of level 0
	`ap_generator0_array_permute_dimensions`	Change of dimensions and permutations of generators of level 0
	`ap_generator0_array_permute_dimensions_with`	Change of dimensions and permutations of generators of level 0
	`ap_generator0_clear`	Allocating generators of level 0
	`ap_generator0_copy`	Allocating generators of level 0
	`ap_generator0_fprint`	Allocating generators of level 0
	`ap_generator0_make`	Allocating generators of level 0
	`ap_generator0_permute_dimensions`	Change of dimensions and permutations of generators of level 0
	`ap_generator0_permute_dimensions_with`	Change of dimensions and permutations of generators of level 0
	`ap_generator1_array_clear`	Arrays of generators of level 1
	`ap_generator1_array_clear_index`	Arrays of generators of level 1
	`ap_generator1_array_envref`	Arrays of generators of level 1
	`ap_generator1_array_extend_environment`	Arrays of generators of level 1
	`ap_generator1_array_extend_environment_with`	Arrays of generators of level 1
	`ap_generator1_array_fprint`	Arrays of generators of level 1
	`ap_generator1_array_get`	Arrays of generators of level 1
	`ap_generator1_array_make`	Arrays of generators of level 1
	`ap_generator1_array_set`	Arrays of generators of level 1
	`ap_generator1_array_size`	Arrays of generators of level 1
	`ap_generator1_clear`	Allocating generators of level 1
	`ap_generator1_coeffref`	Access to generators of level 1
	`ap_generator1_copy`	Allocating generators of level 1
	`ap_generator1_cstref`	Access to generators of level 1
	`ap_generator1_envref`	Access to generators of level 1
	`ap_generator1_extend_environment`	Change of dimensions and permutations of generators of level 1
	`ap_generator1_extend_environment_with`	Change of dimensions and permutations of generators of level 1
	`ap_generator1_fprint`	Allocating generators of level 1
	`ap_generator1_generator0ref`	Access to generators of level 1
	`ap_generator1_gentypref`	Access to generators of level 1
	`ap_generator1_get_coeff`	Access to generators of level 1
	`ap_generator1_get_cst`	Access to generators of level 1
	`ap_generator1_linexpr1ref`	Access to generators of level 1
	`ap_generator1_make`	Allocating generators of level 1
	`ap_generator1_set_coeff`	Access to generators of level 1
	`ap_generator1_set_cst`	Access to generators of level 1
	`ap_generator1_set_list`	Access to generators of level 1
	`ap_interval_alloc`	Initializing intervals
	`ap_interval_alloc_set`	Assigning intervals
	`ap_interval_array_alloc`	Array of intervals
	`ap_interval_array_free`	Array of intervals
	`ap_interval_cmp`	Comparing intervals
	`ap_interval_equal`	Comparing intervals
	`ap_interval_fprint`	Other operations on intervals
	`ap_interval_free`	Initializing intervals
	`ap_interval_hash`	Other operations on intervals
	`ap_interval_is_bottom`	Comparing intervals
	`ap_interval_is_leq`	Comparing intervals
	`ap_interval_is_top`	Comparing intervals
	`ap_interval_neg`	Other operations on intervals
	`ap_interval_reinit`	Initializing intervals
	`ap_interval_set`	Assigning intervals
	`ap_interval_set_bottom`	Assigning intervals
	`ap_interval_set_double`	Assigning intervals
	`ap_interval_set_frac`	Assigning intervals
	`ap_interval_set_int`	Assigning intervals
	`ap_interval_set_mpq`	Assigning intervals
	`ap_interval_set_scalar`	Assigning intervals
	`ap_interval_set_top`	Assigning intervals
	`ap_interval_swap`	Other operations on intervals
	`ap_lincons0_add_dimensions`	Change of dimensions and permutations of linear constraints of level 0
	`ap_lincons0_add_dimensions_with`	Change of dimensions and permutations of linear constraints of level 0
	`ap_lincons0_array_add_dimensions`	Change of dimensions and permutations of linear constraints of level 0
	`ap_lincons0_array_add_dimensions_with`	Change of dimensions and permutations of linear constraints of level 0
	`ap_lincons0_array_clear`	Arrays of linear constraints of level 0
	`ap_lincons0_array_fprint`	Arrays of linear constraints of level 0
	`ap_lincons0_array_make`	Arrays of linear constraints of level 0
	`ap_lincons0_array_permute_dimensions`	Change of dimensions and permutations of linear constraints of level 0
	`ap_lincons0_array_permute_dimensions_with`	Change of dimensions and permutations of linear constraints of level 0
	`ap_lincons0_clear`	Allocating linear constraints of level 0
	`ap_lincons0_copy`	Allocating linear constraints of level 0
	`ap_lincons0_fprint`	Allocating linear constraints of level 0
	`ap_lincons0_is_unsat`	Tests on linear constraints of level 0
	`ap_lincons0_make`	Allocating linear constraints of level 0
	`ap_lincons0_make_unsat`	Allocating linear constraints of level 0
	`ap_lincons0_permute_dimensions`	Change of dimensions and permutations of linear constraints of level 0
	`ap_lincons0_permute_dimensions_with`	Change of dimensions and permutations of linear constraints of level 0
	`ap_lincons1_array_clear`	Arrays of linear constraints of level 1
	`ap_lincons1_array_clear_index`	Arrays of linear constraints of level 1
	`ap_lincons1_array_envref`	Arrays of linear constraints of level 1
	`ap_lincons1_array_extend_environment`	Arrays of linear constraints of level 1
	`ap_lincons1_array_extend_environment_with`	Arrays of linear constraints of level 1
	`ap_lincons1_array_fprint`	Arrays of linear constraints of level 1
	`ap_lincons1_array_get`	Arrays of linear constraints of level 1
	`ap_lincons1_array_make`	Arrays of linear constraints of level 1
	`ap_lincons1_array_set`	Arrays of linear constraints of level 1
	`ap_lincons1_array_size`	Arrays of linear constraints of level 1
	`ap_lincons1_clear`	Allocating linear constraints of level 1
	`ap_lincons1_coeffref`	Access to linear constraints of level 1
	`ap_lincons1_constypref`	Access to linear constraints of level 1
	`ap_lincons1_copy`	Allocating linear constraints of level 1
	`ap_lincons1_cstref`	Access to linear constraints of level 1
	`ap_lincons1_envref`	Access to linear constraints of level 1
	`ap_lincons1_extend_environment`	Change of dimensions and permutations of linear constraints of level 1
	`ap_lincons1_extend_environment_with`	Change of dimensions and permutations of linear constraints of level 1
	`ap_lincons1_fprint`	Allocating linear constraints of level 1
	`ap_lincons1_get_coeff`	Access to linear constraints of level 1
	`ap_lincons1_get_cst`	Access to linear constraints of level 1
	`ap_lincons1_is_unsat`	Tests on linear constraints of level 1
	`ap_lincons1_lincons0ref`	Access to linear constraints of level 1
	`ap_lincons1_linexpr1ref`	Access to linear constraints of level 1
	`ap_lincons1_make`	Allocating linear constraints of level 1
	`ap_lincons1_make_unsat`	Allocating linear constraints of level 1
	`ap_lincons1_set_coeff`	Access to linear constraints of level 1
	`ap_lincons1_set_cst`	Access to linear constraints of level 1
	`ap_lincons1_set_list`	Access to linear constraints of level 1
	`ap_linexpr0_add_dimensions`	Change of dimensions and permutations of linear expressions of level 0
	`ap_linexpr0_add_dimensions_with`	Change of dimensions and permutations of linear expressions of level 0
	`ap_linexpr0_alloc`	Allocating linear expressions of level 0
	`ap_linexpr0_coeffref`	Getting references
	`ap_linexpr0_compare`	Other functions on linear expressions of level 0
	`ap_linexpr0_copy`	Allocating linear expressions of level 0
	`ap_linexpr0_cstref`	Getting references
	`ap_linexpr0_equal`	Other functions on linear expressions of level 0
	`ap_linexpr0_ForeachLinterm`	Getting values
	`ap_linexpr0_fprint`	Allocating linear expressions of level 0
	`ap_linexpr0_free`	Allocating linear expressions of level 0
	`ap_linexpr0_get_coeff`	Getting values
	`ap_linexpr0_get_cst`	Getting values
	`ap_linexpr0_hash`	Other functions on linear expressions of level 0
	`ap_linexpr0_is_integer`	Tests on linear expressions of level 0
	`ap_linexpr0_is_linear`	Tests on linear expressions of level 0
	`ap_linexpr0_is_quasilinear`	Tests on linear expressions of level 0
	`ap_linexpr0_is_real`	Tests on linear expressions of level 0
	`ap_linexpr0_minimize`	Allocating linear expressions of level 0
	`ap_linexpr0_permute_dimensions`	Change of dimensions and permutations of linear expressions of level 0
	`ap_linexpr0_permute_dimensions_with`	Change of dimensions and permutations of linear expressions of level 0
	`ap_linexpr0_realloc`	Allocating linear expressions of level 0
	`ap_linexpr0_set_coeff`	Assigning values
	`ap_linexpr0_set_coeff_interval`	Assigning values
	`ap_linexpr0_set_coeff_interval_double`	Assigning values
	`ap_linexpr0_set_coeff_interval_frac`	Assigning values
	`ap_linexpr0_set_coeff_interval_int`	Assigning values
	`ap_linexpr0_set_coeff_interval_scalar`	Assigning values
	`ap_linexpr0_set_coeff_scalar`	Assigning values
	`ap_linexpr0_set_coeff_scalar_double`	Assigning values
	`ap_linexpr0_set_coeff_scalar_frac`	Assigning values
	`ap_linexpr0_set_coeff_scalar_int`	Assigning values
	`ap_linexpr0_set_cst`	Assigning values
	`ap_linexpr0_set_cst_interval`	Assigning values
	`ap_linexpr0_set_cst_interval_double`	Assigning values
	`ap_linexpr0_set_cst_interval_frac`	Assigning values
	`ap_linexpr0_set_cst_interval_int`	Assigning values
	`ap_linexpr0_set_cst_interval_scalar`	Assigning values
	`ap_linexpr0_set_cst_scalar`	Assigning values
	`ap_linexpr0_set_cst_scalar_double`	Assigning values
	`ap_linexpr0_set_cst_scalar_frac`	Assigning values
	`ap_linexpr0_set_cst_scalar_int`	Assigning values
	`ap_linexpr0_set_list`	Assigning values with a list of arguments
	`ap_linexpr0_size`	Access to linear expressions of level 0
	`ap_linexpr1_clear`	Allocating linear expressions of level 1
	`ap_linexpr1_coeffref`	Getting references
	`ap_linexpr1_copy`	Allocating linear expressions of level 1
	`ap_linexpr1_cstref`	Getting references
	`ap_linexpr1_envref`	Access to linear expressions of level 1
	`ap_linexpr1_extend_environment`	Change of dimensions and permutations of linear expressions of level 1
	`ap_linexpr1_extend_environment_with`	Change of dimensions and permutations of linear expressions of level 1
	`ap_linexpr1_ForeachLinterm`	Getting values
	`ap_linexpr1_fprint`	Allocating linear expressions of level 1
	`ap_linexpr1_get_coeff`	Getting values
	`ap_linexpr1_get_cst`	Getting values
	`ap_linexpr1_is_integer`	Tests on linear expressions of level 1
	`ap_linexpr1_is_linear`	Tests on linear expressions of level 1
	`ap_linexpr1_is_quasilinear`	Tests on linear expressions of level 1
	`ap_linexpr1_is_real`	Tests on linear expressions of level 1
	`ap_linexpr1_linexpr0ref`	Access to linear expressions of level 1
	`ap_linexpr1_make`	Allocating linear expressions of level 1
	`ap_linexpr1_minimize`	Allocating linear expressions of level 1
	`ap_linexpr1_set_coeff`	Assigning values
	`ap_linexpr1_set_coeff_interval`	Assigning values
	`ap_linexpr1_set_coeff_interval_double`	Assigning values
	`ap_linexpr1_set_coeff_interval_frac`	Assigning values
	`ap_linexpr1_set_coeff_interval_int`	Assigning values
	`ap_linexpr1_set_coeff_interval_scalar`	Assigning values
	`ap_linexpr1_set_coeff_scalar`	Assigning values
	`ap_linexpr1_set_coeff_scalar_double`	Assigning values
	`ap_linexpr1_set_coeff_scalar_frac`	Assigning values
	`ap_linexpr1_set_coeff_scalar_int`	Assigning values
	`ap_linexpr1_set_cst`	Assigning values
	`ap_linexpr1_set_cst_interval`	Assigning values
	`ap_linexpr1_set_cst_interval_double`	Assigning values
	`ap_linexpr1_set_cst_interval_frac`	Assigning values
	`ap_linexpr1_set_cst_interval_int`	Assigning values
	`ap_linexpr1_set_cst_interval_scalar`	Assigning values
	`ap_linexpr1_set_cst_scalar`	Assigning values
	`ap_linexpr1_set_cst_scalar_double`	Assigning values
	`ap_linexpr1_set_cst_scalar_frac`	Assigning values
	`ap_linexpr1_set_cst_scalar_int`	Assigning values
	`ap_linexpr1_set_list`	Assigning values with a list of arguments
	`ap_manager_free`	Functions related to managers
	`ap_manager_get_abort_if_exception`	Exceptions
	`ap_manager_get_exception`	Exceptions
	`ap_manager_get_exclog`	Exceptions
	`ap_manager_get_flag_best`	Functions related to managers
	`ap_manager_get_flag_exact`	Functions related to managers
	`ap_manager_get_funopt`	Options
	`ap_manager_set_abort_if_exception`	Exceptions
	`ap_manager_set_funopt`	Options
	`ap_mpq_set_scalar`	Converting scalars
	`ap_pkgrid_manager_alloc`	Allocating pkgrid managers
	`ap_ppl_grid_manager_alloc`	Allocating APRON PPL managers
	`ap_ppl_poly_manager_alloc`	Allocating APRON PPL managers
	`ap_scalar_alloc`	Initializing scalars
	`ap_scalar_alloc_set`	Assigning scalars
	`ap_scalar_alloc_set_double`	Assigning scalars
	`ap_scalar_alloc_set_mpq`	Assigning scalars
	`ap_scalar_clear`	Initializing scalars
	`ap_scalar_cmp`	Comparing scalars
	`ap_scalar_cmp_int`	Comparing scalars
	`ap_scalar_equal`	Comparing scalars
	`ap_scalar_equal_int`	Comparing scalars
	`ap_scalar_fprint`	Other operations on scalars
	`ap_scalar_free`	Initializing scalars
	`ap_scalar_get_double`	Converting scalars
	`ap_scalar_hash`	Other operations on scalars
	`ap_scalar_infty`	Comparing scalars
	`ap_scalar_init`	Initializing scalars
	`ap_scalar_inv`	Other operations on scalars
	`ap_scalar_neg`	Other operations on scalars
	`ap_scalar_reinit`	Initializing scalars
	`ap_scalar_set`	Assigning scalars
	`ap_scalar_set_double`	Assigning scalars
	`ap_scalar_set_frac`	Assigning scalars
	`ap_scalar_set_infty`	Assigning scalars
	`ap_scalar_set_int`	Assigning scalars
	`ap_scalar_set_mpq`	Assigning scalars
	`ap_scalar_sgn`	Comparing scalars
	`ap_scalar_swap`	Other operations on scalars
	`ap_tcons1_array_clear`	Arrays of tree constraints of level 1
	`ap_tcons1_array_clear_index`	Arrays of tree constraints of level 1
	`ap_tcons1_array_envref`	Arrays of tree constraints of level 1
	`ap_tcons1_array_extend_environment`	Arrays of tree constraints of level 1
	`ap_tcons1_array_extend_environment_with`	Arrays of tree constraints of level 1
	`ap_tcons1_array_fprint`	Arrays of tree constraints of level 1
	`ap_tcons1_array_get`	Arrays of tree constraints of level 1
	`ap_tcons1_array_make`	Arrays of tree constraints of level 1
	`ap_tcons1_array_print`	Arrays of tree constraints of level 1
	`ap_tcons1_array_set`	Arrays of tree constraints of level 1
	`ap_tcons1_array_size`	Arrays of tree constraints of level 1
	`ap_tcons1_clear`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_constypref`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_copy`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_envref`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_extend_environment`	Operations on tree constraints of level 1
	`ap_tcons1_extend_environment_with`	Operations on tree constraints of level 1
	`ap_tcons1_fprint`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_from_lincons1`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_make`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_print`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_scalarref`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_tcons0ref`	Constructors/Destructors for tree constraints of level 1
	`ap_tcons1_texpr1ref`	Constructors/Destructors for tree constraints of level 1
	`ap_texpr1_binop`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_copy`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_interval`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_interval_double`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_interval_frac`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_interval_int`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_interval_mpq`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_interval_scalar`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_scalar`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_scalar_double`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_scalar_frac`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_scalar_int`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_scalar_mpq`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_cst_top`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_equal`	Tests on tree expressions of level 1
	`ap_texpr1_extend_environment`	Operations on tree expressions of level 1
	`ap_texpr1_extend_environment_with`	Operations on tree expressions of level 1
	`ap_texpr1_fprint`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_free`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_from_linexpr1`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_has_var`	Tests on tree expressions of level 1
	`ap_texpr1_is_interval_cst`	Tests on tree expressions of level 1
	`ap_texpr1_is_interval_linear`	Tests on tree expressions of level 1
	`ap_texpr1_is_interval_polyfrac`	Tests on tree expressions of level 1
	`ap_texpr1_is_interval_polynomial`	Tests on tree expressions of level 1
	`ap_texpr1_is_scalar`	Tests on tree expressions of level 1
	`ap_texpr1_print`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_substitute`	Operations on tree expressions of level 1
	`ap_texpr1_substitute_with`	Operations on tree expressions of level 1
	`ap_texpr1_unop`	Constructors/Destructors for tree expressions of level 1
	`ap_texpr1_var`	Constructors/Destructors for tree expressions of level 1

Jump to:	A B C P

[ < ]

[ > ]

[ << ]

[ Up ]

[ >> ]

This document was generated by root on September 20, 2019 using texi2html 1.82.