VariableMappingILP.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_VARIABLE_MAPPING_ILP_H
#define HLIDAC_PES_VARIABLE_MAPPING_ILP_H

#include <vector>
#include <utility>
#include "ILPSolver/VariableMappingLP.h"

using map2to1 = std::map<std::pair<uint32_t, uint32_t>, uint32_t>;
using map4toN = std::map<std::pair<uint64_t, uint64_t>, std::vector<uint32_t> >;

struct VariableMappingILP : public VariableMappingLP {
        public:
                VariableMappingILP(Robot* r);
                VariableMappingILP(const RoboticLine& l);

                uint32_t numberOfVariables() const;

                map2to1 x;
                map2to1 z;
                map2to1 y;
                map2to1 w;
                map4toN c;
        private:
                void addActivityBinaryVariables(Robot* r);
                void addActivityOrderBinaryVariables(Robot* r);
                void addCollisionBinaryVariables(const RoboticLine& l);
};

std::map<uint32_t, uint32_t> inverseMapping(const std::vector<double>& solution, const map2to1& mapping);

#endif