/dports/devel/ppl/ppl-1.2/src/ |
H A D | Cast_Floating_Point_Expression_defs.hh | 101 FP_Linear_Form FP_Linear_Form; typedef in Parma_Polyhedra_Library::Cast_Floating_Point_Expression
|
H A D | Constant_Floating_Point_Expression_defs.hh | 72 FP_Linear_Form FP_Linear_Form; typedef in Parma_Polyhedra_Library::Constant_Floating_Point_Expression
|
H A D | Difference_Floating_Point_Expression_defs.hh | 112 ::FP_Linear_Form FP_Linear_Form; typedef in Parma_Polyhedra_Library::Difference_Floating_Point_Expression
|
H A D | Division_Floating_Point_Expression_defs.hh | 129 ::FP_Linear_Form FP_Linear_Form; typedef in Parma_Polyhedra_Library::Division_Floating_Point_Expression
|
H A D | Float_templates.hh | 138 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in discard_occurrences() typedef 157 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in upper_bound_assign() typedef
|
H A D | Floating_Point_Expression_defs.hh | 60 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; typedef in Parma_Polyhedra_Library::Floating_Point_Expression
|
H A D | Multiplication_Floating_Point_Expression_defs.hh | 142 ::FP_Linear_Form FP_Linear_Form; typedef in Parma_Polyhedra_Library::Multiplication_Floating_Point_Expression
|
H A D | Opposite_Floating_Point_Expression_defs.hh | 92 FP_Linear_Form FP_Linear_Form; typedef in Parma_Polyhedra_Library::Opposite_Floating_Point_Expression
|
H A D | Polyhedron_templates.hh | 329 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in refine_with_linear_form_inequality() typedef 397 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in affine_form_image() typedef 441 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in overapproximate_linear_form() typedef
|
H A D | Sum_Floating_Point_Expression_defs.hh | 106 ::FP_Linear_Form FP_Linear_Form; typedef in Parma_Polyhedra_Library::Sum_Floating_Point_Expression
|
H A D | Variable_Floating_Point_Expression_defs.hh | 75 FP_Linear_Form FP_Linear_Form; typedef in Parma_Polyhedra_Library::Variable_Floating_Point_Expression
|
H A D | linearize.hh | 117 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in add_linearize() typedef 230 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in sub_linearize() typedef 373 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in mul_linearize() typedef 566 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in div_linearize() typedef 640 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in cast_linearize() typedef 734 typedef Linear_Form<FP_Interval_Type> FP_Linear_Form; in linearize() typedef
|
/dports/devel/ppl/ppl-1.2/tests/ |
H A D | ppl_test.hh | 476 typedef Linear_Form<FP_Interval> FP_Linear_Form; typedef
|