PPL  1.2
Parma_Polyhedra_Library::Concrete_Expression< Target > Member List

This is the complete list of members for Parma_Polyhedra_Library::Concrete_Expression< Target >, including all inherited members.

add_linearize(const Binary_Operator< Target > &bop_expr, const FP_Oracle< Target, FP_Interval_Type > &oracle, const std::map< dimension_type, Linear_Form< FP_Interval_Type > > &lf_store, Linear_Form< FP_Interval_Type > &result)Parma_Polyhedra_Library::Concrete_Expression< Target >related
cast_linearize(const Cast_Operator< Target > &cast_expr, const FP_Oracle< Target, FP_Interval_Type > &oracle, const std::map< dimension_type, Linear_Form< FP_Interval_Type > > &lf_store, Linear_Form< FP_Interval_Type > &result)Parma_Polyhedra_Library::Concrete_Expression< Target >related
div_linearize(const Binary_Operator< Target > &bop_expr, const FP_Oracle< Target, FP_Interval_Type > &oracle, const std::map< dimension_type, Linear_Form< FP_Interval_Type > > &lf_store, Linear_Form< FP_Interval_Type > &result)Parma_Polyhedra_Library::Concrete_Expression< Target >related
linearize(const Concrete_Expression< Target > &expr, const FP_Oracle< Target, FP_Interval_Type > &oracle, const std::map< dimension_type, Linear_Form< FP_Interval_Type > > &lf_store, Linear_Form< FP_Interval_Type > &result)Parma_Polyhedra_Library::Concrete_Expression< Target >related
mul_linearize(const Binary_Operator< Target > &bop_expr, const FP_Oracle< Target, FP_Interval_Type > &oracle, const std::map< dimension_type, Linear_Form< FP_Interval_Type > > &lf_store, Linear_Form< FP_Interval_Type > &result)Parma_Polyhedra_Library::Concrete_Expression< Target >related
sub_linearize(const Binary_Operator< Target > &bop_expr, const FP_Oracle< Target, FP_Interval_Type > &oracle, const std::map< dimension_type, Linear_Form< FP_Interval_Type > > &lf_store, Linear_Form< FP_Interval_Type > &result)Parma_Polyhedra_Library::Concrete_Expression< Target >related