const_bool_nodef(may_be_empty, true) | Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Policy | |
const_bool_nodef(may_contain_infinity, true) | Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Policy | |
const_bool_nodef(check_empty_result, false) | Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Policy | |
const_bool_nodef(check_inexact, false) | Parma_Polyhedra_Library::Interval_NS::Scalar_As_Interval_Policy |