codac
Public Member Functions | Protected Attributes | Static Protected Attributes | List of all members
codac::SepFixPoint Class Reference

Fix point of a Separator. More...

#include <codac_SepFixPoint.h>

Inherits Sep.

Public Member Functions

 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. More...
 
 ~SepFixPoint ()
 Delete *this.
 
void separate (IntervalVector &x_in, IntervalVector &x_out)
 Separate a box. More...
 

Protected Attributes

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 Protected Attributes

static const double default_ratio
 ratio used, set to 0.1.
 

Detailed Description

Fix point of a Separator.

Constructor & Destructor Documentation

◆ 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
sepSeparator to use
ratioiteration stop criteria

Member Function Documentation

◆ separate()

void codac::SepFixPoint::separate ( IntervalVector &  x_in,
IntervalVector &  x_out 
)

Separate a box.

See also
ibex::Sep
Parameters
x_inthe n-dimensional box \([\mathbf{x}_{\textrm{in}}]\) to be inner-contracted
x_outthe n-dimensional box \([\mathbf{x}_{\textrm{out}}]\) to be outer-contracted

The documentation for this class was generated from the following file: