toulbar2
|
#include <csproblem.h>
Public Attributes | |
int ** | constraints |
![]() | |
int | nbconst |
vector< int > * | tabdomains |
int * | domains |
vector< int > * | connections |
![]() | |
Configuration * | best_config |
int | nbvar |
int | domainsize |
Long | lower_bound |
Move * | currentmove |
Move * | firstmove |
Move * | bestmove |
Additional Inherited Members | |
![]() | |
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 () |
![]() | |
virtual void | move_execution (Configuration *configuration, Move *move) |
virtual void | incr_update_conflicts (IncrCSPConfiguration *configuration, Move *move) |
virtual void | fullincr_update_conflicts (FullincrCSPConfiguration *configuration, Move *move) |
virtual void | allocate_moves () |
virtual Move * | create_move () |
virtual void | adjust_parameters (Configuration *configuration, int &maxneighbors, int &minneighbors) |
virtual void | next_move (Configuration *configuration, Move *move, NeighborhoodSearch *nbhs) |
virtual void | random_configuration (Configuration *configuration) |
virtual void | best_config_analysis () |
virtual void | best_config_write () |
virtual void | best_config_verification () |
virtual void | init_population (Configuration **population, int populationsize) |
virtual Configuration * | create_configuration () |
virtual Long | compute_conflict (Configuration *configuration, int var, int val) |
virtual Long | config_evaluation (Configuration *configuration) |
virtual Long | move_evaluation (Configuration *configuration, Move *move) |
virtual int | index2value (int index, int var) |
virtual int | value2index (int value, int var) |
virtual void | compute_var_conflict (Configuration *configuration) |
Binary CSPs : addition of the constraints array
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)