|
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. | |
| Constraint (Constraint &&other)=default | |
| Default move contructor. | |
| Constraint & | operator= (const Constraint &other)=delete |
| Copy assignment operator disabled. | |
| Constraint & | operator= (Constraint &&other)=delete |
| Move assignment operator disabled. | |
| virtual | ~Constraint ()=default |
| Default virtual destructor. | |
| 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. | |
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. |