toulbar2
Public Attributes | List of all members
BinaryCSProblem Class Reference
Inheritance diagram for BinaryCSProblem:
Inheritance graph
[legend]
Collaboration diagram for BinaryCSProblem:
Collaboration graph
[legend]

Public Attributes

int ** constraints
 
- Public Attributes inherited from CSProblem
int nbconst
 
vector< int > * tabdomains
 
int * domains
 
vector< int > * connections
 
- Public Attributes inherited from OpProblem
Configurationbest_config
 
int nbvar
 
int domainsize
 
Long lower_bound
 
Movecurrentmove
 
Movefirstmove
 
Movebestmove
 

Additional Inherited Members

- Public Member Functions inherited from CSProblem
 CSProblem (int nbvar, int nbconst)
 
 CSProblem (int nbvar, int nbconst, int lower)
 
virtual int variable_domainsize (int var)
 
virtual int random_variable (Configuration *configuration)
 
virtual int random_conflict_variable (Configuration *configuration)
 
virtual int random_value (int var, int val)
 
virtual int min_conflict_value (int var, int val, Configuration *configuration)
 
virtual void init_domains (int nbvar, int s)
 
virtual void init_tabdomains (int s)
 
void compute_var_conflict (Configuration *configuration)
 
virtual void set_domains_connections (int *dom, vector< int > *tabledom, vector< int > *connect)
 
virtual void init_domain_tabdomain ()
 
- Public Member Functions inherited from OpProblem
virtual void incr_update_conflicts (IncrCSPConfiguration *configuration, Move *move)
 
virtual void fullincr_update_conflicts (FullincrCSPConfiguration *configuration, Move *move)
 
virtual void allocate_moves ()
 
virtual void best_config_verification ()
 
virtual Long compute_conflict (Configuration *configuration, int var, int val)
 
virtual Long config_evaluation (Configuration *configuration)
 
virtual int index2value (int index, int var)
 
virtual int value2index (int value, int var)
 

Detailed Description

Binary CSPs : addition of the constraints array

Member Data Documentation

◆ constraints

int** BinaryCSProblem::constraints

for a couple (i,j) of variables, (i<j) , constraints[i][j] returns the constraint number + 1 if the variables are connected, 0 si the variables are not connected. It is assumed that at most one constraint exists between two variables (if not use WeightExtensionBinaryCSP class)