GHOST
|
#include <all_different.hpp>
Public Member Functions | |
AllDifferent (const std::vector< int > &variables_index) | |
AllDifferent (const std::vector< Variable > &variables) | |
Public Member Functions inherited from ghost::Constraint | |
Constraint (const std::vector< int > &variables_index) | |
Constraint (const std::vector< Variable > &variables) | |
Constraint (const Constraint &other)=default | |
Default copy contructor. More... | |
Constraint (Constraint &&other)=default | |
Default move contructor. More... | |
Constraint & | operator= (const Constraint &other)=delete |
Copy assignment operator disabled. More... | |
Constraint & | operator= (Constraint &&other)=delete |
Move assignment operator disabled. More... | |
virtual | ~Constraint ()=default |
Default virtual destructor. More... | |
bool | has_variable (int var_id) const |
Additional Inherited Members | |
Protected Member Functions inherited from ghost::Constraint | |
double | get_current_error () const |
int | get_id () const |
Inline method to get the unique id of the Constraint object. More... | |
Implementation of the All Different constraint. See http://sofdem.github.io/gccat/gccat/Calldifferent.html
ghost::global_constraints::AllDifferent::AllDifferent | ( | const std::vector< int > & | variables_index | ) |
Constructor with a vector of variable IDs. This vector is internally used by ghost::Constraint to know what variables from the global variable vector it is handling.
variables_index | a const reference to a vector of IDs of variables composing the constraint. |
ghost::global_constraints::AllDifferent::AllDifferent | ( | const std::vector< Variable > & | variables | ) |
Constructor with a vector of variable.
variables | a const reference to a vector of variables composing the constraint. |