| /dports/devel/ppl/ppl-1.2/tests/Concrete_Expression/ |
| H A D | bdshape2.cc | 38 bd1.refine_with_linear_form_inequality(l1,l2); in test01()
48 bd1.refine_with_linear_form_inequality(l2,l1); in test01()
53 bd2.refine_with_linear_form_inequality(l1, l1); in test01()
60 bd2.refine_with_linear_form_inequality(l1, l2); in test01()
85 bd1.refine_with_linear_form_inequality(l1, l2); in test02()
93 bd1.refine_with_linear_form_inequality(l2, l1); in test02()
123 bd1.refine_with_linear_form_inequality(l1, l2); in test03()
131 bd1.refine_with_linear_form_inequality(l2, l1); in test03()
162 bd1.refine_with_linear_form_inequality(l1, l2); in test04()
170 bd1.refine_with_linear_form_inequality(l2, l1); in test04()
[all …]
|
| H A D | octagonalshape2.cc | 47 oc1.refine_with_linear_form_inequality(l2, l1); in test01()
52 oc2.refine_with_linear_form_inequality(l1, l1); in test01()
59 oc2.refine_with_linear_form_inequality(l1, l2); in test01()
84 oc1.refine_with_linear_form_inequality(l1, l2); in test02()
92 oc1.refine_with_linear_form_inequality(l2, l1); in test02()
122 oc1.refine_with_linear_form_inequality(l1, l2); in test03()
130 oc1.refine_with_linear_form_inequality(l2, l1); in test03()
161 oc1.refine_with_linear_form_inequality(l1, l2); in test04()
169 oc1.refine_with_linear_form_inequality(l2, l1); in test04()
199 oc1.refine_with_linear_form_inequality(l1, l2); in test05()
[all …]
|
| H A D | polyhedron2.cc | 39 pol.refine_with_linear_form_inequality(l1, l2); in test01()
45 pol.refine_with_linear_form_inequality(l1, l2); in test01()
65 ph.refine_with_linear_form_inequality(lf1, lf2); in test02()
87 ph.refine_with_linear_form_inequality(-FP_Linear_Form(A), in test03()
89 ph.refine_with_linear_form_inequality(FP_Linear_Form(A), in test03()
91 ph.refine_with_linear_form_inequality(-FP_Linear_Form(A), in test03()
93 ph.refine_with_linear_form_inequality(-FP_Linear_Form(B), in test03()
|
| H A D | digitalfilters1.cc | 256 as_then.refine_with_linear_form_inequality(FP_Linear_Form(R), in test02()
268 as_then.refine_with_linear_form_inequality(FP_Linear_Form(D), in test02()
347 as_then.refine_with_linear_form_inequality(FP_Linear_Form(R), in test03()
359 as_then.refine_with_linear_form_inequality(FP_Linear_Form(D), in test03()
437 as_then.refine_with_linear_form_inequality(FP_Linear_Form(R), in test04()
617 bd.refine_with_linear_form_inequality(-FP_Linear_Form(D), in test05()
650 bd.refine_with_linear_form_inequality(FP_Linear_Form(R), in test05()
826 oc.refine_with_linear_form_inequality(-FP_Linear_Form(D), in test06()
859 oc.refine_with_linear_form_inequality(FP_Linear_Form(R), in test06()
1035 ph.refine_with_linear_form_inequality(-FP_Linear_Form(D), in test07()
[all …]
|
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Polyhedron_inlines.hh | 390 refine_with_linear_form_inequality(left, right, false); in generalized_refine_with_linear_form_inequality()
391 refine_with_linear_form_inequality(right, left, false); in generalized_refine_with_linear_form_inequality()
394 refine_with_linear_form_inequality(left, right, true); in generalized_refine_with_linear_form_inequality()
397 refine_with_linear_form_inequality(left, right, false); in generalized_refine_with_linear_form_inequality()
400 refine_with_linear_form_inequality(right, left, true); in generalized_refine_with_linear_form_inequality()
403 refine_with_linear_form_inequality(right, left, false); in generalized_refine_with_linear_form_inequality()
|
| H A D | BD_Shape_inlines.hh | 903 refine_with_linear_form_inequality(left, right); in generalized_refine_with_linear_form_inequality()
904 refine_with_linear_form_inequality(right, left); in generalized_refine_with_linear_form_inequality()
908 refine_with_linear_form_inequality(left, right); in generalized_refine_with_linear_form_inequality()
912 refine_with_linear_form_inequality(right, left); in generalized_refine_with_linear_form_inequality()
|
| H A D | Octagonal_Shape_inlines.hh | 654 refine_with_linear_form_inequality(left, right); in generalized_refine_with_linear_form_inequality()
655 refine_with_linear_form_inequality(right, left); in generalized_refine_with_linear_form_inequality()
659 refine_with_linear_form_inequality(left, right); in generalized_refine_with_linear_form_inequality()
663 refine_with_linear_form_inequality(right, left); in generalized_refine_with_linear_form_inequality()
|
| H A D | Polyhedron_defs.hh | 1036 void refine_with_linear_form_inequality(
|
| H A D | Polyhedron_templates.hh | 300 Polyhedron::refine_with_linear_form_inequality( in refine_with_linear_form_inequality() function in Parma_Polyhedra_Library::Polyhedron
|
| H A D | Octagonal_Shape_defs.hh | 1055 void refine_with_linear_form_inequality(
|
| H A D | BD_Shape_defs.hh | 1044 void refine_with_linear_form_inequality(
|
| H A D | BD_Shape_templates.hh | 4605 void BD_Shape<T>::refine_with_linear_form_inequality( in refine_with_linear_form_inequality() function in Parma_Polyhedra_Library::BD_Shape
|
| H A D | ppl.hh.dist | 48263 void refine_with_linear_form_inequality(
53695 Polyhedron::refine_with_linear_form_inequality(
63695 void refine_with_linear_form_inequality(
68238 void refine_with_linear_form_inequality(
70805 refine_with_linear_form_inequality(left, right);
70806 refine_with_linear_form_inequality(right, left);
70810 refine_with_linear_form_inequality(left, right);
70814 refine_with_linear_form_inequality(right, left);
80527 refine_with_linear_form_inequality(left, right);
80528 refine_with_linear_form_inequality(right, left);
[all …]
|
| H A D | Octagonal_Shape_templates.hh | 527 Octagonal_Shape<T>::refine_with_linear_form_inequality( in refine_with_linear_form_inequality() function in Parma_Polyhedra_Library::Octagonal_Shape
|
| /dports/devel/ppl/ppl-1.2/ |
| H A D | ChangeLog | 22355 Polyhedron::refine_with_linear_form_inequality. Adapted tests on
22436 BD_Shape<T>::refine_with_linear_form_inequality. Corrected
22500 refine_with_linear_form_inequality();
22507 refine_with_linear_form_inequality() and auxiliary functions;
22716 method refine_with_linear_form_inequality(); added the auxiliary
22750 implementation of refine_with_linear_form_inequality(); Two
22985 implementation of refine_with_linear_form_inequality.
23094 reached for refine_with_linear_form_inequality.
23220 Octagonal_Shape::refine_with_linear_form_inequality.
23347 refine_with_linear_form_inequality. Two small optimizations for
[all …]
|