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__