Separator \(\mathcal{S}_{box}\) that separates two boxes according to the constraint \(\mathbf{x}\in[\mathbf{b}]\). More...

Inherits ibex::Sep.

Public Member Functions
	SepBox (const IntervalVector &b)
	Creates a separator for the constraint \(\mathbf{x}\in[\mathbf{b}]\).

void	separate (IntervalVector &x_in, IntervalVector &x_out)
	\(\mathcal{S}\big([\mathbf{x}_{\textrm{in}}],[\mathbf{x}_{\textrm{out}}]\big)\)

Detailed Description

Separator \(\mathcal{S}_{box}\) that separates two boxes according to the constraint \(\mathbf{x}\in[\mathbf{b}]\).

Constructor & Destructor Documentation

codac::SepBox::SepBox ( const IntervalVector & b )

inline

Creates a separator for the constraint \(\mathbf{x}\in[\mathbf{b}]\).

Parameters

b	the support box \([\mathbf{b}] \in \mathbb{IR}^n\)

34: Sep(b.size()), m_b(b) {};

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

\(\mathcal{S}\big([\mathbf{x}_{\textrm{in}}],[\mathbf{x}_{\textrm{out}}]\big)\)

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: