PPL
0.12.1
|
get_associated_dimensions(const Approximable_Reference< Target > &expr, std::set< dimension_type > &result) const =0 | Parma_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 =0 | Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type > | [pure virtual] |
get_integer_expr_value(const Concrete_Expression< Target > &expr, FP_Interval_Type &result) const =0 | Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type > | [pure virtual] |
get_interval(dimension_type dim, FP_Interval_Type &result) const =0 | Parma_Polyhedra_Library::FP_Oracle< Target, FP_Interval_Type > | [pure virtual] |