lf_space_dim (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:lf_space_dim (Results 1 – 5 of 5) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A D	Polyhedron_templates.hh	349 dimension_type lf_space_dim = left_minus_right.space_dimension(); in refine_with_linear_form_inequality() local 351 overapproximate_linear_form(left_minus_right, lf_space_dim, lf_approx); in refine_with_linear_form_inequality() 359 convert_to_integer_expression(lf_approx, lf_space_dim, lf_approx_le); in refine_with_linear_form_inequality() 382 const dimension_type lf_space_dim = lf.space_dimension(); in affine_form_image() local 383 if (space_dim < lf_space_dim) { in affine_form_image() 407 overapproximate_linear_form(lf, lf_space_dim, lf_approx); in affine_form_image() 420 convert_to_integer_expressions(lf_approx, lf_space_dim, lf_approx_le, in affine_form_image()
H A D	Box_templates.hh	`3125 const dimension_type lf_space_dim = lf.space_dimension(); in affine_form_image() local 3126 if (space_dim < lf_space_dim) { in affine_form_image() 3142 for (dimension_type i = 0; i < lf_space_dim; ++i) { in affine_form_image()`
H A D	BD_Shape_templates.hh	`4381 const dimension_type lf_space_dim = lf.space_dimension(); in affine_form_image() local 4382 if (space_dim < lf_space_dim) { in affine_form_image() 4401 for (dimension_type i = lf_space_dim; i-- > 0; ) { in affine_form_image()`
H A D	Octagonal_Shape_templates.hh	`5538 const dimension_type lf_space_dim = lf.space_dimension(); in affine_form_image() local 5539 if (space_dim < lf_space_dim) { in affine_form_image() 5562 for (dimension_type i = lf_space_dim; i-- > 0; ) { in affine_form_image()`
H A D	ppl.hh.dist	53777 const dimension_type lf_space_dim = lf.space_dimension(); 53778 if (space_dim < lf_space_dim) { 53802 overapproximate_linear_form(lf, lf_space_dim, lf_approx); 76592 const dimension_type lf_space_dim = lf.space_dimension(); 76593 if (space_dim < lf_space_dim) { 76616 for (dimension_type i = lf_space_dim; i-- > 0; ) { 84928 const dimension_type lf_space_dim = lf.space_dimension(); 84929 if (space_dim < lf_space_dim) { 84948 for (dimension_type i = lf_space_dim; i-- > 0; ) { 90745 if (space_dim < lf_space_dim) { [all …]