CSPSolver.h

Go to the documentation of this file.

#ifndef UTILITY_SOLVER_CSP_SOLVER_H
#define UTILITY_SOLVER_CSP_SOLVER_H

#include <vector>
#include <queue>
#include <irafhy/representation/formal/basic/constraints.h>
#include <irafhy/representation/geometric/intervalHull.h>
#include <irafhy/representation/geometric/polytope.h>

namespace irafhy
{
    class CSPSolver
    {
    private:
        static Eigen::MatrixXd extremeVerticesEnumeration(const Eigen::MatrixXd& A, const Eigen::VectorXd& b);

    public:
        static std::vector<IntervalHull> exactBoundarySolve(const IntervalHull& intervalHull, double epsilon);
        static std::vector<IntervalHull> branchPruneSolve(const IntervalHull& intervalHull, double epsilon);
        static std::vector<IntervalHull> branchPruneSolve(const Constraints& constraints, double epsilon);
        static std::vector<IntervalHull> branchPruneSolve(const Polytope& polytope, double epsilon);
    };
} // namespace irafhy
#endif //UTILITY_SOLVER_CSP_SOLVER_H