codac
codac_CtcPolar.h
Go to the documentation of this file.
1 
13 #ifndef __CODAC_CTCPOLAR_H__
14 #define __CODAC_CTCPOLAR_H__
15 
16 #include <codac_Interval.h>
17 #include <codac_IntervalVector.h>
18 #include <codac_Ctc.h>
19 
20 using namespace std;
21 
22 namespace codac
23 {
32  class CtcPolar : public Ctc
33  {
34  public:
35 
39  CtcPolar();
40 
46  virtual void contract(IntervalVector& x);
47 
56  void contract(Interval& x, Interval& y, Interval& rho, Interval& theta);
57  };
58 
59  std::tuple<Interval,Interval,Interval> Catan2(const Interval& x, const Interval& y, const Interval& th);
60 }
61 
62 #endif
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