codac::SepBox Class Reference

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

#include <codac_SepBox.h>

Inherits ibex::Sep.

Public Member Functions
	SepBox (const IntervalVector &b)
	Creates a separator for the constraint \(\mathbf{x}\in[\mathbf{b}]\). More...
void	separate (IntervalVector &x_in, IntervalVector &x_out)
	\(\mathcal{S}\big([\mathbf{x}_{\textrm{in}}],[\mathbf{x}_{\textrm{out}}]\big)\) More...

Detailed Description

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

Constructor & Destructor Documentation

SepBox()

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\)

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

Member Function Documentation

separate()

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:

• /home/simon/codac/src/core/separators/codac_SepBox.h