#include <incop.h>
Inheritance diagram for Configuration:
Public Member Functions | |
Configuration (int nbvar) | |
virtual void | copy_element (Configuration *config2) |
virtual void | init_conflicts () |
virtual void | incr_conflicts (int var, int val, int index, int incr) |
virtual void | set_conflicts (int var, int val, int index, int nbconf) |
virtual int | get_conflicts (int var, int val, int index) |
virtual int | get_conflicts_problem (OpProblem *problem, int var, int val) |
virtual void | update_conflicts (OpProblem *problem, Move *move) |
Public Attributes | |
int | nbvar |
int * | config |
int | valuation |
vector< int > | var_conflict |
int | regrouped |
|
copy a configuration config2 into this Reimplemented in IncrCSPConfiguration, FullincrCSPConfiguration, and CliqueConfiguration. |
|
get the number of conflicts (var,val) stored in the conflict datastructure Reimplemented in IncrCSPConfiguration, and FullincrCSPConfiguration. |
|
get the number of conflicts of (var,val), computed if not stored Reimplemented in IncrCSPConfiguration, and FullincrCSPConfiguration. |
|
store the conflict of (var,val) incremented by incr Reimplemented in IncrCSPConfiguration, and FullincrCSPConfiguration. |
|
initialization to 0 of the conflict datastructure Reimplemented in IncrCSPConfiguration, and FullincrCSPConfiguration. |
|
store the number of conflicts nbconf of (var,val) in the conflict datastructure Reimplemented in IncrCSPConfiguration, and FullincrCSPConfiguration. |
|
update the conflict datastructure after a move is done Reimplemented in IncrCSPConfiguration, and FullincrCSPConfiguration. |
|
the current values of the variables : implemented with an array of integers |
|
indicates if the configuration has been regrouped before (for GWW) |
|
the configuration value |
|
the variables taking part to a conflict : implemented with a vector |