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