codac::SepFunction Class Reference

Generic static \(\mathcal{S}\) that separates two boxes according to the constraint \(\mathbf{f}(\mathbf{x})=\mathbf{0}\) or \(\mathbf{f}(\mathbf{x})\in[\mathbf{y}]\). It stands on the SepFwdBwd of IBEX (involving HC4Revise). More...

#include <codac_SepFunction.h>

Inherits ibex::SepFwdBwd.

Public Member Functions
	SepFunction (Function &f)
	Creates a separator for the constraint \(\mathbf{f}(\mathbf{x})=\mathbf{0}\).
	SepFunction (Function &f, const Interval &y)
	Creates a separator for the constraint \(f(\mathbf{x})\in[y]\) for the scalar case.
	SepFunction (Function &f, const IntervalVector &y)
	Creates a separator for the constraint \(\mathbf{f}(\mathbf{x})\in[\mathbf{y}]\) for the vectorial case.
void	separate (IntervalVector &x_in, IntervalVector &x_out)
	\(\mathcal{S}\big([\mathbf{x}_{\textrm{in}}],[\mathbf{x}_{\textrm{out}}]\big)\)

Detailed Description

Generic static \(\mathcal{S}\) that separates two boxes according to the constraint \(\mathbf{f}(\mathbf{x})=\mathbf{0}\) or \(\mathbf{f}(\mathbf{x})\in[\mathbf{y}]\). It stands on the SepFwdBwd of IBEX (involving HC4Revise).

Constructor & Destructor Documentation

SepFunction() [1/3]

codac::SepFunction::SepFunction

(

Function &

f

)

Creates a separator for the constraint \(\mathbf{f}(\mathbf{x})=\mathbf{0}\).

Parameters

f	the function \(\mathbf{f}\)

SepFunction() [2/3]

codac::SepFunction::SepFunction	(	Function &	f,
		const Interval &	y )

Creates a separator for the constraint \(f(\mathbf{x})\in[y]\) for the scalar case.

Parameters

f	the function \(f\)
y	the interval \([y]\)

SepFunction() [3/3]

codac::SepFunction::SepFunction	(	Function &	f,
		const IntervalVector &	y )

Creates a separator for the constraint \(\mathbf{f}(\mathbf{x})\in[\mathbf{y}]\) for the vectorial case.

Parameters

f	the function \(\mathbf{f}\)
y	the IntervalVector \([\mathbf{y}]\)

Member Function Documentation

separate()

void codac::SepFunction::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}]\) to be inner-contracted
x_out	the n-dimensional box \([\mathbf{x}]\) to be outer-contracted

---

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

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