#ifndef SIVIA_H
#define SIVIA_H

#include "frame.h"
#include "ibex.h"

using namespace ibex;
using namespace std;

class SetImg {
public:

    /*
     * Run the Set Image computation.
     *
     * Parameters:
     * frame:   where to draw the boxes.
     * n: number of times the box is split in each dimension
     */
    SetImg(Frame& frame, int n);

private:
    Frame& frame;
};

#endif // SIVIA_H
