codac_SepBox.h

Go to the documentation of this file.

 
#ifndef __CODAC_SEPBOX_H__
#define __CODAC_SEPBOX_H__
 
#include "ibex_Sep.h"
#include "codac_IntervalVector.h"
 
namespace codac
{
  class SepBox : public ibex::Sep
  {
    public:
 
      SepBox(const IntervalVector& b) : Sep(b.size()), m_b(b) {};
 
      void separate(IntervalVector& x_in, IntervalVector& x_out);
 
    protected:
      
      const IntervalVector m_b; //<! The support box
  };
}
 
#endif