PPL  1.2
Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type > Member List

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

get_associated_dimensions(const Approximable_Reference< Target > &expr, std::set< dimension_type > &result) const =0Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type >pure virtual
get_fp_constant_value(const Floating_Point_Constant< Target > &expr, FP_Interval_Type &result) const =0Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type >pure virtual
get_integer_expr_value(const Concrete_Expression< Target > &expr, FP_Interval_Type &result) const =0Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type >pure virtual
get_interval(dimension_type dim, FP_Interval_Type &result) const =0Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type >pure virtual