13 #ifndef __CODAC_CTCPOLAR_H__ 14 #define __CODAC_CTCPOLAR_H__ 46 virtual void contract(IntervalVector& x);
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);
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
Definition: codac_Hashcode.h:52
Minimal contractor for the polar constraint: x = rho*cos(theta) y = rho*sin(theta) theta = angle(x...
Definition: codac_CtcPolar.h:32