codac::CtcCartProd Class Reference

Cartesian product of contractors \(\mathcal{C}_1\times\dots\times\mathcal{C}_n\). More...

#include <codac_CtcCartProd.h>

Inherits Ctc.

Public Member Functions
template<typename ... Args>
	CtcCartProd (Args &... args)
	Creates the contractor based on the Cartesian product of other.
	CtcCartProd (const ibex::Array< Ctc > &array)
	Creates the contractor based on the Cartesian product of other.
void	contract (IntervalVector &x)
	\(\mathcal{C}_{\mathcal{C}_1\times\dots\times\mathcal{C}_n}\big([\mathbf{x}]\big)\)

Protected Attributes
ibex::Array< Ctc >	m_v
	vector containing the contractors

Detailed Description

Cartesian product of contractors \(\mathcal{C}_1\times\dots\times\mathcal{C}_n\).

Constructor & Destructor Documentation

CtcCartProd() [1/2]

template<typename ... Args>

codac::CtcCartProd::CtcCartProd ( Args &... args )

inline

Creates the contractor based on the Cartesian product of other.

Parameters

args	list of contractors

: Ctc(ibex::Array<Ctc>({args...})), m_v({args...}) {};

CtcCartProd() [2/2]

codac::CtcCartProd::CtcCartProd ( const ibex::Array< Ctc > & array )

inline

Creates the contractor based on the Cartesian product of other.

Parameters

array

Array of contractors

: Ctc(array), m_v(array) {};

Member Function Documentation

contract()

void codac::CtcCartProd::contract

(

IntervalVector &

x

)

\(\mathcal{C}_{\mathcal{C}_1\times\dots\times\mathcal{C}_n}\big([\mathbf{x}]\big)\)

Parameters

x	a m-d box of domains

---

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

• /home/simon/codac/src/core/contractors/static/codac_CtcCartProd.h