Registry
|
Public Member Functions | |
double | global_estimated_error () const |
double | global_estimated_error_per_elem_max () const |
double | global_estimated_error_per_elem_min () const |
MaximumMarking (double theta) | |
MaximumMarking (double theta, double eps) | |
MaximumMarking (double theta, double eps, double unnamed) | |
void | set_max_level (int unnamed) |
void | set_min_level (int unnamed) |
MaximumMarking | ( | double | theta | ) |
[in] | theta |
MaximumMarking | ( | double | theta, |
double | eps | ||
) |
[in] | theta | |
[in] | eps |
MaximumMarking | ( | double | theta, |
double | eps, | ||
double | unnamed | ||
) |
[in] | theta | |
[in] | eps | |
[in] | unnamed |
|
inlineinherited |
|
inlineinherited |
|
inlineinherited |
|
inline |
[in] | unnamed |
References MaximumMarking< class >::set_max_level().
|
inline |
[in] | unnamed |
References MaximumMarking< class >::set_min_level().