all_different.hpp

Go to the documentation of this file.

/*
 * GHOST (General meta-Heuristic Optimization Solving Tool) is a C++ framework
 * designed to help developers to model and implement optimization problem
 * solving. It contains a meta-heuristic solver aiming to solve any kind of
 * combinatorial and optimization real-time problems represented by a CSP/COP/EF-CSP/EF-COP. 
 *
 * First developed to solve game-related optimization problems, GHOST can be used for
 * any kind of applications where solving combinatorial and optimization problems. In
 * particular, it had been designed to be able to solve not-too-complex problem instances
 * within some milliseconds, making it very suitable for highly reactive or embedded systems.
 * Please visit https://github.com/richoux/GHOST for further information.
 *
 * Copyright (C) 2014-2025 Florian Richoux
 *
 * This file is part of GHOST.
 * GHOST 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.
 
 * GHOST 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 GHOST. If not, see http://www.gnu.org/licenses/.
 */
 
#pragma once
 
#include <vector>
#include <map>
 
#include "../variable.hpp"
#include "../constraint.hpp"
 
namespace ghost
{
    namespace global_constraints
    {
        class AllDifferent : public Constraint
        {
            mutable std::map<int,int> _count;
            
            double required_error( const std::vector<Variable*>& variables ) const override;
            
            double optional_delta_error( const std::vector<Variable*>& variables,
                                         const std::vector<int>& variable_indexes,
                                         const std::vector<int>& candidate_values ) const override;
            
            void conditional_update_data_structures( const std::vector<Variable*>& variables,
                                                     int variable_index,
                                                     int new_value ) override;
 
            double binomial_with_2( int value ) const;
 
        public:
            AllDifferent( const std::vector<int>& variables_index );
            
            AllDifferent( const std::vector<Variable>& variables );
        };
    }
}