codac_SepPolarXY.h

//============================================================================
//                               P Y I B E X
// File        : Polar separator with projection on the XY-plan
// Author      : Benoit Desrochers
// Copyright   : Benoit Desrochers
// License     : See the LICENSE file
// Created     : Apr 25, 2012
// Last Update : Jun 29, 2017
//============================================================================

#ifndef __IBEX_SEP_POLARXY_H__
#define __IBEX_SEP_POLARXY_H__
#include "ibex_Sep.h"
#include "codac_CtcPolar.h"

using namespace std;

using ibex::Interval;
using ibex::IntervalVector;


namespace codac {

class SepPolarXY : public ibex::Sep {

public:
    SepPolarXY(Interval rho, Interval theta);

  virtual void separate(IntervalVector& x_in, IntervalVector& x_out);

protected:

    void contractIn(IntervalVector &x_in);

    void contractOut(IntervalVector &x_out);



    Interval rho, theta;
    // Interval rho_m, rho_p;
    // Interval theta_m, theta_p;
    // Interval cmpl;
    codac::CtcPolar ctc;
};

} // end namespace pyibex

#endif // __IBEX_SEP_POLARXY_H__