codac_SepFunction.h

Go to the documentation of this file.

 
#ifndef __CODAC_SEPFUNCTION_H__
#define __CODAC_SEPFUNCTION_H__
 
#include "ibex_SepFwdBwd.h"
#include "codac_Function.h"
#include "codac_IntervalVector.h"
 
namespace codac
{
  class SepFunction : public ibex::SepFwdBwd
  {
    public:
 
      SepFunction(Function& f);
 
      SepFunction(Function& f, const Interval& y);
 
      SepFunction(Function& f, const IntervalVector& y);
      
      void separate(IntervalVector& x_in, IntervalVector& x_out);
  };
}
 
#endif