codac_CtcPolar.h File Reference

#include <codac_Interval.h>
#include <codac_IntervalVector.h>
#include <codac_Ctc.h>

Include dependency graph for codac_CtcPolar.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	codac::CtcPolar
	Minimal contractor for the polar constraint: x = rho*cos(theta) y = rho*sin(theta) theta = angle(x,y) sqr(rho) = sqr(x)+sqr(y) 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.

Detailed Description

CtcPolar class

Originated from the former pyIbex library (Benoît Desrochers)

Date

2015

Author

Benoit Desrochers, Mohamed Saad Ibn Seddik

Copyright

Copyright 2021 Codac Team

License: This program is distributed under the terms of

the GNU Lesser General Public License (LGPL).