src/include/Box.h

/*
 * Box.h
 *
 *  Created on: Nov 20, 2012
 *      Author: romain
 */

#ifndef BOX_H_
#define BOX_H_

#include "Set.h"
#include "utils.h"
//#include "Hpolyhedron.h"
#include "PolynomialSystem.h"

namespace nltool {

class Hpolyhedron;

class Box: public Set {
public:

        Box();

        Box(const stdVector& l, const stdVector& u);

        Box(unsigned dim, const Vertices& vertices);

        Box(unsigned dim, const Template& A, const Vector& b);

        Box(Hpolyhedron& poly);

        virtual ~Box();

        Number optimize(const Vector & direction, Vector & optPoint,
                        bool max = true);

        Vertices generateVertices();

        Vector centroid();

        std::vector<Polynom> computeUnitBoxMap();

        bool include(Hpolyhedron& poly);

        Number getMaxInterval();

        Number getMinInterval();

        /*
         * ##########################################
         * GETTTERS and SETTERS
         * ##########################################
         */

        stdVector getBl() const;
        stdVector getBu() const;
        void setBl(stdVector bl);
        void setBu(stdVector bu);

private:
        stdVector bl;
        stdVector bu;
};

inline std::ostream& operator<<(std::ostream& out, Box box) {
        stdVector bl = box.getBl();
        stdVector bu = box.getBu();
        for (unsigned i = 0; i < box.getDimension(); i++) {
                out << "[" << bl[i] << ", " << bu[i] << "]";
                if (i < (box.getDimension() - 1))
                        out << " * ";
        }
        out << std::endl;

        return out;
}

} // namespace nltool

#endif /* BOX_H_ */