Fix point of a Separator.
More...
#include <codac_SepFixPoint.h>
Inherits Sep.
|
| SepFixPoint (Sep &sep, double ratio=default_ratio) |
| build a fix point Separator from the one given as arguments. When the Hausdorff distance between two iterations is less than ratio*diameter the fix-point is considered to be reached.
|
|
| ~SepFixPoint () |
| Delete *this.
|
|
void | separate (IntervalVector &x_in, IntervalVector &x_out) |
| Separate a box.
|
|
|
Sep & | sep |
| The Separator.
|
|
bool | impact_cin |
| backtrace if the inner contractor had an impact
|
|
bool | impact_cout |
| backtrace if the outer contractor had an impact
|
|
IntervalVector * | first_cin_boxes |
| store the first box contracted by the outer contractor It is the result of the ibex function IntervalVector::diff
|
|
IntervalVector * | first_cout_boxes |
| store the first box contracted by the inner / outer contractor It is the result of the ibex function IntervalVector::diff
|
|
int | n_in |
| number of boxes in SepFixPoint::first_cin_boxes
|
|
int | n_out |
| number of boxes in SepFixPoint::first_cout_boxes
|
|
double | ratio |
| When the Hausdorff distance between two iterations is less than ratio*diameter the fix-point is considered to be reached.
|
|
|
static const double | default_ratio |
| ratio used, set to 0.1.
|
|
Fix point of a Separator.
◆ SepFixPoint()
codac::SepFixPoint::SepFixPoint |
( |
Sep & | sep, |
|
|
double | ratio = default_ratio ) |
build a fix point Separator from the one given as arguments. When the Hausdorff distance between two iterations is less than ratio*diameter the fix-point is considered to be reached.
- Parameters
-
sep | Separator to use |
ratio | iteration stop criteria |
◆ separate()
void codac::SepFixPoint::separate |
( |
IntervalVector & | x_in, |
|
|
IntervalVector & | x_out ) |
Separate a box.
- See also
- ibex::Sep
- Parameters
-
x_in | the n-dimensional box \([\mathbf{x}_{\textrm{in}}]\) to be inner-contracted |
x_out | the n-dimensional box \([\mathbf{x}_{\textrm{out}}]\) to be outer-contracted |
The documentation for this class was generated from the following file: