codac 1.5.6
Loading...
Searching...
No Matches
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>
18#include <codac_Ctc.h>
19
20using namespace std;
21
22namespace codac
23{
32 class CtcPolar : public Ctc
33 {
34 public:
35
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
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