Types and functions for ppl_Pointset_Powerset_BD_Shape_float_tag. More...

#include <ppl_c.h>

Related Functions
(Note that these are not member functions.)
int	ppl_delete_Pointset_Powerset_BD_Shape_float (ppl_const_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_new_Pointset_Powerset_BD_Shape_float_from_space_dimension (ppl_Pointset_Powerset_BD_Shape_float_t *pph, ppl_dimension_type d, int empty)
int	ppl_new_Pointset_Powerset_BD_Shape_float_from_Pointset_Powerset_BD_Shape_float (ppl_Pointset_Powerset_BD_Shape_float_t *pph, ppl_const_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_new_Pointset_Powerset_BD_Shape_float_from_BD_Shape_float (ppl_Pointset_Powerset_BD_Shape_float_t *pph, ppl_const_BD_Shape_float_t ph)
int	ppl_new_Pointset_Powerset_BD_Shape_float_from_Pointset_Powerset_BD_Shape_float_with_complexity (ppl_Pointset_Powerset_BD_Shape_float_t *pph, ppl_const_Pointset_Powerset_BD_Shape_float_t ph, int complexity)
int	ppl_new_Pointset_Powerset_BD_Shape_float_from_BD_Shape_float_with_complexity (ppl_Pointset_Powerset_BD_Shape_float_t *pph, ppl_const_BD_Shape_float_t ph, int complexity)
int	ppl_new_Pointset_Powerset_BD_Shape_float_from_Constraint_System (ppl_Pointset_Powerset_BD_Shape_float_t *pph, ppl_const_Constraint_System_t cs)
int	ppl_new_Pointset_Powerset_BD_Shape_float_from_Congruence_System (ppl_Pointset_Powerset_BD_Shape_float_t *pph, ppl_const_Congruence_System_t cs)
int	ppl_Pointset_Powerset_BD_Shape_float_space_dimension (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type *m)
int	ppl_Pointset_Powerset_BD_Shape_float_affine_dimension (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type *m)
int	ppl_Pointset_Powerset_BD_Shape_float_relation_with_Constraint (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Constraint_t c)
int	ppl_Pointset_Powerset_BD_Shape_float_relation_with_Generator (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Generator_t c)
int	ppl_Pointset_Powerset_BD_Shape_float_relation_with_Congruence (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Congruence_t c)
int	ppl_Pointset_Powerset_BD_Shape_float_is_empty (ppl_const_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_is_universe (ppl_const_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_is_bounded (ppl_const_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_contains_integer_point (ppl_const_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_is_topologically_closed (ppl_const_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_is_discrete (ppl_const_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_topological_closure_assign (ppl_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_pairwise_reduce (ppl_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_omega_reduce (ppl_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_bounds_from_above (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Linear_Expression_t le)
int	ppl_Pointset_Powerset_BD_Shape_float_bounds_from_below (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Linear_Expression_t le)
int	ppl_Pointset_Powerset_BD_Shape_float_maximize (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)
int	ppl_Pointset_Powerset_BD_Shape_float_minimize (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)
int	ppl_Pointset_Powerset_BD_Shape_float_maximize_with_point (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)
int	ppl_Pointset_Powerset_BD_Shape_float_minimize_with_point (ppl_const_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)
int	ppl_Pointset_Powerset_BD_Shape_float_contains_Pointset_Powerset_BD_Shape_float (ppl_const_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_strictly_contains_Pointset_Powerset_BD_Shape_float (ppl_const_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_is_disjoint_from_Pointset_Powerset_BD_Shape_float (ppl_const_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_geometrically_covers_Pointset_Powerset_BD_Shape_float (ppl_const_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_geometrically_equals_Pointset_Powerset_BD_Shape_float (ppl_const_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_equals_Pointset_Powerset_BD_Shape_float (ppl_const_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_OK (ppl_const_Pointset_Powerset_BD_Shape_float_t ph)
int	ppl_Pointset_Powerset_BD_Shape_float_add_constraint (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Constraint_t c)
int	ppl_Pointset_Powerset_BD_Shape_float_add_congruence (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Congruence_t c)
int	ppl_Pointset_Powerset_BD_Shape_float_add_constraints (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Constraint_System_t cs)
int	ppl_Pointset_Powerset_BD_Shape_float_add_congruences (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Congruence_System_t cs)
int	ppl_Pointset_Powerset_BD_Shape_float_refine_with_constraint (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Constraint_t c)
int	ppl_Pointset_Powerset_BD_Shape_float_refine_with_congruence (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Congruence_t c)
int	ppl_Pointset_Powerset_BD_Shape_float_refine_with_constraints (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Constraint_System_t cs)
int	ppl_Pointset_Powerset_BD_Shape_float_refine_with_congruences (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Congruence_System_t cs)
int	ppl_Pointset_Powerset_BD_Shape_float_intersection_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_upper_bound_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_difference_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_concatenate_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_time_elapse_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_upper_bound_assign_if_exact (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_simplify_using_context_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_constrains (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type var)
int	ppl_Pointset_Powerset_BD_Shape_float_unconstrain_space_dimension (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type var)
int	ppl_Pointset_Powerset_BD_Shape_float_unconstrain_space_dimensions (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type ds[], size_t n)
int	ppl_Pointset_Powerset_BD_Shape_float_affine_image (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int	ppl_Pointset_Powerset_BD_Shape_float_affine_preimage (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int	ppl_Pointset_Powerset_BD_Shape_float_bounded_affine_image (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)
int	ppl_Pointset_Powerset_BD_Shape_float_bounded_affine_preimage (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)
int	ppl_Pointset_Powerset_BD_Shape_float_generalized_affine_image (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int	ppl_Pointset_Powerset_BD_Shape_float_generalized_affine_preimage (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int	ppl_Pointset_Powerset_BD_Shape_float_generalized_affine_image_lhs_rhs (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)
int	ppl_Pointset_Powerset_BD_Shape_float_generalized_affine_preimage_lhs_rhs (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)
int	ppl_Pointset_Powerset_BD_Shape_float_add_space_dimensions_and_embed (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type d)
int	ppl_Pointset_Powerset_BD_Shape_float_add_space_dimensions_and_project (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type d)
int	ppl_Pointset_Powerset_BD_Shape_float_remove_space_dimensions (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type ds[], size_t n)
int	ppl_Pointset_Powerset_BD_Shape_float_remove_higher_space_dimensions (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type d)
int	ppl_Pointset_Powerset_BD_Shape_float_expand_space_dimension (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type d, ppl_dimension_type m)
int	ppl_Pointset_Powerset_BD_Shape_float_fold_space_dimensions (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)
int	ppl_Pointset_Powerset_BD_Shape_float_map_space_dimensions (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type maps[], size_t n)
int	ppl_Pointset_Powerset_BD_Shape_float_drop_some_non_integer_points (ppl_Pointset_Powerset_BD_Shape_float_t ph, int complexity)
int	ppl_Pointset_Powerset_BD_Shape_float_drop_some_non_integer_points_2 (ppl_Pointset_Powerset_BD_Shape_float_t ph, ppl_dimension_type ds[], size_t n, int complexity)
int	ppl_Pointset_Powerset_BD_Shape_float_external_memory_in_bytes (ppl_const_Pointset_Powerset_BD_Shape_float_t ps, size_t *sz)
int	ppl_Pointset_Powerset_BD_Shape_float_total_memory_in_bytes (ppl_const_Pointset_Powerset_BD_Shape_float_t ps, size_t *sz)
int	ppl_Pointset_Powerset_BD_Shape_float_size (ppl_const_Pointset_Powerset_BD_Shape_float_t ps, size_t *sz)
int	ppl_Pointset_Powerset_BD_Shape_float_add_disjunct (ppl_Pointset_Powerset_BD_Shape_float_t ps, ppl_const_BD_Shape_float_t d)
int	ppl_Pointset_Powerset_BD_Shape_float_drop_disjunct (ppl_Pointset_Powerset_BD_Shape_float_t ps, ppl_const_Pointset_Powerset_BD_Shape_float_iterator_t cit, ppl_Pointset_Powerset_BD_Shape_float_iterator_t it)
int	ppl_Pointset_Powerset_BD_Shape_float_drop_disjuncts (ppl_Pointset_Powerset_BD_Shape_float_t ps, ppl_const_Pointset_Powerset_BD_Shape_float_iterator_t first, ppl_const_Pointset_Powerset_BD_Shape_float_iterator_t last)
int	ppl_Pointset_Powerset_BD_Shape_float_BHZ03_H79_BHMZ05_widening_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_BHZ03_H79_H79_widening_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y)
int	ppl_Pointset_Powerset_BD_Shape_float_BGP99_BHMZ05_extrapolation_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y, int disjuncts)
int	ppl_Pointset_Powerset_BD_Shape_float_BGP99_H79_extrapolation_assign (ppl_Pointset_Powerset_BD_Shape_float_t x, ppl_const_Pointset_Powerset_BD_Shape_float_t y, int disjuncts)
int	ppl_io_print_Pointset_Powerset_BD_Shape_float (ppl_const_Pointset_Powerset_BD_Shape_float_t x)
int	ppl_io_fprint_Pointset_Powerset_BD_Shape_float (FILE *stream, ppl_const_Pointset_Powerset_BD_Shape_float_t x)
int	ppl_io_asprint_Pointset_Powerset_BD_Shape_float (char **strp, ppl_const_Pointset_Powerset_BD_Shape_float_t x)
int	ppl_Pointset_Powerset_BD_Shape_float_ascii_dump (ppl_const_Pointset_Powerset_BD_Shape_float_t x, FILE *stream)
int	ppl_Pointset_Powerset_BD_Shape_float_ascii_load (ppl_Pointset_Powerset_BD_Shape_float_t x, FILE *stream)

Detailed Description

Types and functions for ppl_Pointset_Powerset_BD_Shape_float_tag.

Friends And Related Function Documentation

int ppl_delete_Pointset_Powerset_BD_Shape_float ( ppl_const_Pointset_Powerset_BD_Shape_float_t ph )

int ppl_new_Pointset_Powerset_BD_Shape_float_from_space_dimension	(	ppl_Pointset_Powerset_BD_Shape_float_t *	pph,
		ppl_dimension_type	d,
		int	empty
	)

int ppl_new_Pointset_Powerset_BD_Shape_float_from_Pointset_Powerset_BD_Shape_float	(	ppl_Pointset_Powerset_BD_Shape_float_t *	pph,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	ph
	)

int ppl_new_Pointset_Powerset_BD_Shape_float_from_BD_Shape_float	(	ppl_Pointset_Powerset_BD_Shape_float_t *	pph,
		ppl_const_BD_Shape_float_t	ph
	)

int ppl_new_Pointset_Powerset_BD_Shape_float_from_Pointset_Powerset_BD_Shape_float_with_complexity	(	ppl_Pointset_Powerset_BD_Shape_float_t *	pph,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		int	complexity
	)

int ppl_new_Pointset_Powerset_BD_Shape_float_from_BD_Shape_float_with_complexity	(	ppl_Pointset_Powerset_BD_Shape_float_t *	pph,
		ppl_const_BD_Shape_float_t	ph,
		int	complexity
	)

int ppl_new_Pointset_Powerset_BD_Shape_float_from_Constraint_System	(	ppl_Pointset_Powerset_BD_Shape_float_t *	pph,
		ppl_const_Constraint_System_t	cs
	)

int ppl_new_Pointset_Powerset_BD_Shape_float_from_Congruence_System	(	ppl_Pointset_Powerset_BD_Shape_float_t *	pph,
		ppl_const_Congruence_System_t	cs
	)

int ppl_Pointset_Powerset_BD_Shape_float_space_dimension	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type *	m
	)

int ppl_Pointset_Powerset_BD_Shape_float_affine_dimension	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type *	m
	)

int ppl_Pointset_Powerset_BD_Shape_float_relation_with_Constraint	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Constraint_t	c
	)

int ppl_Pointset_Powerset_BD_Shape_float_relation_with_Generator	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Generator_t	c
	)

int ppl_Pointset_Powerset_BD_Shape_float_relation_with_Congruence	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Congruence_t	c
	)

int ppl_Pointset_Powerset_BD_Shape_float_bounds_from_above	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Linear_Expression_t	le
	)

int ppl_Pointset_Powerset_BD_Shape_float_bounds_from_below	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Linear_Expression_t	le
	)

int ppl_Pointset_Powerset_BD_Shape_float_maximize	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Linear_Expression_t	le,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	poptimum
	)

int ppl_Pointset_Powerset_BD_Shape_float_minimize	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Linear_Expression_t	le,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	poptimum
	)

int ppl_Pointset_Powerset_BD_Shape_float_maximize_with_point	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Linear_Expression_t	le,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	poptimum,
		ppl_Generator_t	point
	)

int ppl_Pointset_Powerset_BD_Shape_float_minimize_with_point	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Linear_Expression_t	le,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	poptimum,
		ppl_Generator_t	point
	)

int ppl_Pointset_Powerset_BD_Shape_float_contains_Pointset_Powerset_BD_Shape_float	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_strictly_contains_Pointset_Powerset_BD_Shape_float	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_is_disjoint_from_Pointset_Powerset_BD_Shape_float	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_geometrically_covers_Pointset_Powerset_BD_Shape_float	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_geometrically_equals_Pointset_Powerset_BD_Shape_float	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_equals_Pointset_Powerset_BD_Shape_float	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_add_constraint	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Constraint_t	c
	)

int ppl_Pointset_Powerset_BD_Shape_float_add_congruence	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Congruence_t	c
	)

int ppl_Pointset_Powerset_BD_Shape_float_add_constraints	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Constraint_System_t	cs
	)

int ppl_Pointset_Powerset_BD_Shape_float_add_congruences	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Congruence_System_t	cs
	)

int ppl_Pointset_Powerset_BD_Shape_float_refine_with_constraint	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Constraint_t	c
	)

int ppl_Pointset_Powerset_BD_Shape_float_refine_with_congruence	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Congruence_t	c
	)

int ppl_Pointset_Powerset_BD_Shape_float_refine_with_constraints	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Constraint_System_t	cs
	)

int ppl_Pointset_Powerset_BD_Shape_float_refine_with_congruences	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Congruence_System_t	cs
	)

int ppl_Pointset_Powerset_BD_Shape_float_intersection_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_upper_bound_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_difference_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_concatenate_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_time_elapse_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_upper_bound_assign_if_exact	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_simplify_using_context_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_constrains	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	var
	)

int ppl_Pointset_Powerset_BD_Shape_float_unconstrain_space_dimension	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	var
	)

int ppl_Pointset_Powerset_BD_Shape_float_unconstrain_space_dimensions	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	ds[],
		size_t	n
	)

int ppl_Pointset_Powerset_BD_Shape_float_affine_image	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	var,
		ppl_const_Linear_Expression_t	le,
		ppl_const_Coefficient_t	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_affine_preimage	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	var,
		ppl_const_Linear_Expression_t	le,
		ppl_const_Coefficient_t	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_bounded_affine_image	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	var,
		ppl_const_Linear_Expression_t	lb,
		ppl_const_Linear_Expression_t	ub,
		ppl_const_Coefficient_t	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_bounded_affine_preimage	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	var,
		ppl_const_Linear_Expression_t	lb,
		ppl_const_Linear_Expression_t	ub,
		ppl_const_Coefficient_t	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_generalized_affine_image	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	var,
		enum ppl_enum_Constraint_Type	relsym,
		ppl_const_Linear_Expression_t	le,
		ppl_const_Coefficient_t	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_generalized_affine_preimage	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	var,
		enum ppl_enum_Constraint_Type	relsym,
		ppl_const_Linear_Expression_t	le,
		ppl_const_Coefficient_t	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_generalized_affine_image_lhs_rhs	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Linear_Expression_t	lhs,
		enum ppl_enum_Constraint_Type	relsym,
		ppl_const_Linear_Expression_t	rhs
	)

int ppl_Pointset_Powerset_BD_Shape_float_generalized_affine_preimage_lhs_rhs	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_const_Linear_Expression_t	lhs,
		enum ppl_enum_Constraint_Type	relsym,
		ppl_const_Linear_Expression_t	rhs
	)

int ppl_Pointset_Powerset_BD_Shape_float_add_space_dimensions_and_embed	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_add_space_dimensions_and_project	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_remove_space_dimensions	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	ds[],
		size_t	n
	)

int ppl_Pointset_Powerset_BD_Shape_float_remove_higher_space_dimensions	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_expand_space_dimension	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	d,
		ppl_dimension_type	m
	)

int ppl_Pointset_Powerset_BD_Shape_float_fold_space_dimensions	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	ds[],
		size_t	n,
		ppl_dimension_type	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_map_space_dimensions	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	maps[],
		size_t	n
	)

int ppl_Pointset_Powerset_BD_Shape_float_drop_some_non_integer_points	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		int	complexity
	)

int ppl_Pointset_Powerset_BD_Shape_float_drop_some_non_integer_points_2	(	ppl_Pointset_Powerset_BD_Shape_float_t	ph,
		ppl_dimension_type	ds[],
		size_t	n,
		int	complexity
	)

int ppl_Pointset_Powerset_BD_Shape_float_external_memory_in_bytes	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ps,
		size_t *	sz
	)

int ppl_Pointset_Powerset_BD_Shape_float_total_memory_in_bytes	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ps,
		size_t *	sz
	)

int ppl_Pointset_Powerset_BD_Shape_float_size	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	ps,
		size_t *	sz
	)

int ppl_Pointset_Powerset_BD_Shape_float_add_disjunct	(	ppl_Pointset_Powerset_BD_Shape_float_t	ps,
		ppl_const_BD_Shape_float_t	d
	)

int ppl_Pointset_Powerset_BD_Shape_float_drop_disjunct	(	ppl_Pointset_Powerset_BD_Shape_float_t	ps,
		ppl_const_Pointset_Powerset_BD_Shape_float_iterator_t	cit,
		ppl_Pointset_Powerset_BD_Shape_float_iterator_t	it
	)

int ppl_Pointset_Powerset_BD_Shape_float_drop_disjuncts	(	ppl_Pointset_Powerset_BD_Shape_float_t	ps,
		ppl_const_Pointset_Powerset_BD_Shape_float_iterator_t	first,
		ppl_const_Pointset_Powerset_BD_Shape_float_iterator_t	last
	)

int ppl_Pointset_Powerset_BD_Shape_float_BHZ03_H79_BHMZ05_widening_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_BHZ03_H79_H79_widening_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y
	)

int ppl_Pointset_Powerset_BD_Shape_float_BGP99_BHMZ05_extrapolation_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y,
		int	disjuncts
	)

int ppl_Pointset_Powerset_BD_Shape_float_BGP99_H79_extrapolation_assign	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	y,
		int	disjuncts
	)

int ppl_io_fprint_Pointset_Powerset_BD_Shape_float	(	FILE *	stream,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	x
	)

int ppl_io_asprint_Pointset_Powerset_BD_Shape_float	(	char **	strp,
		ppl_const_Pointset_Powerset_BD_Shape_float_t	x
	)

int ppl_Pointset_Powerset_BD_Shape_float_ascii_dump	(	ppl_const_Pointset_Powerset_BD_Shape_float_t	x,
		FILE *	stream
	)

int ppl_Pointset_Powerset_BD_Shape_float_ascii_load	(	ppl_Pointset_Powerset_BD_Shape_float_t	x,
		FILE *	stream
	)

ppl_c.h

Related Functions

Detailed Description

Friends And Related Function Documentation