codac_SIVIAPaving.h

Go to the documentation of this file.

 
#ifndef __CODAC_SIVIAPAVING_H__
#define __CODAC_SIVIAPAVING_H__
 
#include "codac_Paving.h"
#include "codac_Function.h"
#include "codac_Ctc.h"
#include "codac_IntervalVector.h"
#include "codac_Ctc.h"
#include "ibex_Sep.h"
 
namespace codac
{
  class SIVIAPaving : public Paving
  {
    public:
 
      SIVIAPaving(const IntervalVector &init_box);
 
      void compute(const Function &f, const IntervalVector &y, float precision);
 
      void compute(Ctc& ctc, float precision);
 
      void compute(ibex::Sep& sep, float precision);
  };
}
 
#endif