codac 1.5.6
|
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...
#include <codac_CtcPolar.h>
Inherits Ctc.
Public Member Functions | |
CtcPolar () | |
Creates the contractor. | |
virtual void | contract (IntervalVector &x) |
\(\mathcal{C}_{\textrm{polar}}\big([\mathbf{x}]\big)\) | |
void | contract (Interval &x, Interval &y, Interval &rho, Interval &theta) |
\(\mathcal{C}_{\textrm{polar}}\big([x],[y],[\rho],[\theta]\big)\) | |
Minimal contractor for the polar constraint: x = rho*cos(theta) y = rho*sin(theta) theta = angle(x,y) sqr(rho) = sqr(x)+sqr(y)
|
virtual |
\(\mathcal{C}_{\textrm{polar}}\big([\mathbf{x}]\big)\)
x | the 4d box of domains: (x,y,rho,theta) |
void codac::CtcPolar::contract | ( | Interval & | x, |
Interval & | y, | ||
Interval & | rho, | ||
Interval & | theta ) |
\(\mathcal{C}_{\textrm{polar}}\big([x],[y],[\rho],[\theta]\big)\)
x | first Cartesian component |
y | second Cartesian component |
rho | first polar component |
theta | second polar component |