ILPModel.h

Go to the documentation of this file.

/*
        This file is part of the EnergyOptimizatorOfRoboticCells program.

        EnergyOptimizatorOfRoboticCells is free software: you can redistribute it and/or modify
        it under the terms of the GNU General Public License as published by
        the Free Software Foundation, either version 3 of the License, or
        (at your option) any later version.

        EnergyOptimizatorOfRoboticCells is distributed in the hope that it will be useful,
        but WITHOUT ANY WARRANTY; without even the implied warranty of
        MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
        GNU General Public License for more details.

        You should have received a copy of the GNU General Public License
        along with EnergyOptimizatorOfRoboticCells. If not, see <http://www.gnu.org/licenses/>.
*/

#ifndef HLIDAC_PES_ILP_MODEL_H
#define HLIDAC_PES_ILP_MODEL_H

#include <string>
#include <vector>
#include "SparseMatrix.h"
#include "Shared/NumericConstants.h"

enum Objective {
        MINIMIZE, MAXIMIZE
};

enum VariableType {
        FLT, BIN, INT
};

enum Operator {
        LESS_EQUAL, EQUAL, GREATER_EQUAL
};

struct Variable {
        Variable(VariableType t = FLT, double lb = F64_MIN, double ub = F64_MAX) : type(t), lowerBound(lb), upperBound(ub) { }

        VariableType type;
        double lowerBound;
        double upperBound;
};

struct ILPModel {
        ILPModel(Objective obj = MINIMIZE) : obj(obj) { }
        size_t numberOfConstraints() const { return A.numberOfRows(); }
        size_t numberOfVariables() const { return x.size(); }
        void checkFormulation() const;
        void printStatistics() const;

        Objective obj;
        SparseMatrix<double> A;
        std::vector<double> c;
        std::vector<const std::tuple<std::vector<double>, std::vector<double>>*> gurobiC;
        std::vector<double> b;
        std::vector<Operator> ops;
        std::vector<Variable> x;
        std::vector<std::string> varDesc;
        std::vector<std::string> conDesc;
};

#endif