35 #include "../variable.hpp"
36 #include "../constraint.hpp"
40 namespace global_constraints
48 mutable std::map<int,int> _count;
50 double required_error(
const std::vector<Variable*>& variables )
const override;
52 double optional_delta_error(
const std::vector<Variable*>& variables,
53 const std::vector<int>& variable_indexes,
54 const std::vector<int>& candidate_values )
const override;
56 void conditional_update_data_structures(
const std::vector<Variable*>& variables,
58 int new_value )
override;
60 double binomial_with_2(
int value )
const;
Definition: constraint.hpp:63
Definition: all_different.hpp:47
AllDifferent(const std::vector< Variable > &variables)
AllDifferent(const std::vector< int > &variables_index)
Definition: auxiliary_data.hpp:38