codac_CtcCartProd.h File Reference

#include "codac_Ctc.h"
#include "codac_IntervalVector.h"
#include "ibex_Array.h"

Include dependency graph for codac_CtcCartProd.h:

Go to the source code of this file.

Classes
class	codac::CtcCartProd
	Cartesian product of contractors \(\mathcal{C}_1\times\dots\times\mathcal{C}_n\). More...

Namespaces
namespace	codac
	FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function on a given box until the Hausdorff distance between two iterations is less than a given ratio. This operation can be seen as a contractor on the boundary of the solution set.

Functions
CtcCartProd	codac::cart_prod (Ctc &c1, Ctc &c2)
	Cartesian product of contractors from two Ctc objects.
CtcCartProd	codac::cart_prod (const ibex::Array< Ctc > &array)
	Cartesian product of contractors from an ibex::Array.

Detailed Description

CtcCartProd class

Date

2022

Author

Quentin Brateau

Copyright

Copyright 2022 Codac Team

License: This program is distributed under the terms of

the GNU Lesser General Public License (LGPL).