13#ifndef __CODAC_CTCPOLAR_H__
14#define __CODAC_CTCPOLAR_H__
56 void contract(Interval& x, Interval& y, Interval& rho, Interval& theta);
59 std::tuple<Interval,Interval,Interval> Catan2(
const Interval& x,
const Interval& y,
const Interval& th);
Minimal contractor for the polar constraint: x = rho*cos(theta) y = rho*sin(theta) theta = angle(x,...
Definition codac_CtcPolar.h:33
CtcPolar()
Creates the contractor.
void contract(Interval &x, Interval &y, Interval &rho, Interval &theta)
virtual void contract(IntervalVector &x)
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition codac_capd_helpers.h:9