codac::SepCtcPairProj Class Reference

projection of a separator using ibexlib algorithm More...

#include <codac_SepCtcPairProj.h>

Inherits Sep.

Public Member Functions
	SepCtcPairProj (Ctc &ctc_in, Ctc &ctc_out, const IntervalVector &y_init, double prec)
	Construct a new Sep Ctc Pair Proj object. More...
	SepCtcPairProj (SepCtcPair &sep, const IntervalVector &y_init, double prec)
	Construct a new Sep Ctc Pair Proj object build from a SepCtcPair object. More...
	SepCtcPairProj (Sep &sep, const IntervalVector &y_init, double prec)
	Construct a new Sep Ctc Pair Proj object build for a generic Sep Object. More...
	~SepCtcPairProj ()
	Destroy the Sep Ctc Pair Proj object.
void	separate (IntervalVector &x_in, IntervalVector &x_out)
	Separate method. More...

Protected Attributes
Ctc &	ctc_in
Ctc &	ctc_out
CtcExist *	ctcExist
CtcForAll *	ctcForAll
IntervalVector	y_init
BitSet	vars

Detailed Description

projection of a separator using ibexlib algorithm

See also

SepProj

The inner contraction is build using the CtcExist algorithm of ibexlib The inner contraction is build using the CtcForAll algorithm of ibexlib

The two contractions are performed separately.

Constructor & Destructor Documentation

SepCtcPairProj() [1/3]

codac::SepCtcPairProj::SepCtcPairProj	(	Ctc &	ctc_in,
		Ctc &	ctc_out,
		const IntervalVector &	y_init,
		double	prec
	)

Construct a new Sep Ctc Pair Proj object.

Parameters

ctc_in	inner separator
ctc_out	outer separator
y_init	initial box for the parameters [y]
prec	Bisection precision on the parameters (the contraction involves a bisection process on y)

SepCtcPairProj() [2/3]

codac::SepCtcPairProj::SepCtcPairProj	(	SepCtcPair &	sep,
		const IntervalVector &	y_init,
		double	prec
	)

Construct a new Sep Ctc Pair Proj object build from a SepCtcPair object.

Parameters

sep	separator to use given as a SepCtcPair object. It will be splited internally into an inner ans outer contractor using CtcFromSep object
y_init	initial box for the parameters [y]
prec	Bisection precision on the parameters (the contraction involves a bisection process on y)

SepCtcPairProj() [3/3]

codac::SepCtcPairProj::SepCtcPairProj	(	Sep &	sep,
		const IntervalVector &	y_init,
		double	prec
	)

Construct a new Sep Ctc Pair Proj object build for a generic Sep Object.

Parameters

sep	separator to use It will be splited internally into an inner ans outer contractor using CtcFromSep object
y_init	initial box for the parameters [y]
prec	Bisection precision on the parameters (the contraction involves a bisection process on y)

Member Function Documentation

separate()

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

Separate method.

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

Member Data Documentation

ctc_in

Ctc& codac::SepCtcPairProj::ctc_in

protected

Internal inner contractor

ctc_out

Ctc& codac::SepCtcPairProj::ctc_out

protected

Internal outer contractor

ctcExist

CtcExist* codac::SepCtcPairProj::ctcExist

protected

Internal contractor used for the inner projection

ctcForAll

CtcForAll* codac::SepCtcPairProj::ctcForAll

protected

Internal contractor used for the outer projection

y_init

IntervalVector codac::SepCtcPairProj::y_init

protected

initial box of parameters

vars

BitSet codac::SepCtcPairProj::vars

protected

BitSet used to link parameter to variables

---

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

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