Main Page | Class Hierarchy | Compound List | File List | Compound Members

OpProblem Class Reference

#include <incop.h>

Inheritance diagram for OpProblem:

CSProblem BinaryCSProblem CelarCSProblem CliqueProblem ColorCSProblem ExtensionBinaryCSProblem Nqueen ImpasseColor WeightExtensionBinaryCSProblem SwNqueen SwNiNqueen List of all members.

Public Member Functions

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 Movecreate_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 Configurationcreate_configuration ()
virtual int compute_conflict (Configuration *configuration, int var, int val)
virtual int config_evaluation (Configuration *configuration)
virtual int 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)

Public Attributes

Configurationbest_config
int nbvar
int lower_bound
Movecurrentmove
Movefirstmove
Movebestmove

Detailed Description

Root class of Optimization Problems (minimization)


Member Function Documentation

virtual void OpProblem::adjust_parameters Configuration configuration,
int &  maxneighbors,
int &  minneighbors
[inline, virtual]
 

adjustment of the neighborhood parameters (when the size of the actual neighborhood is greater than maxneighbors)

Reimplemented in CSProblem, SwNqueen, and SwNiNqueen.

void OpProblem::allocate_moves  )  [virtual]
 

creation of 3 Move objects (currentmove,bestmove,firstmove)

virtual void OpProblem::best_config_analysis  )  [inline, virtual]
 

analysis of the best configuration

Reimplemented in ColorCSProblem, ImpasseColor, and CSProblem.

void OpProblem::best_config_verification  )  [virtual]
 

verification of the best solution (its cost is recomputed)

virtual void OpProblem::best_config_write  )  [inline, virtual]
 

writing the best solution

Reimplemented in CelarCSProblem, ColorCSProblem, ImpasseColor, and CSProblem.

virtual int OpProblem::compute_conflict Configuration configuration,
int  var,
int  val
[inline, virtual]
 

computation of the participation of (var,val) to the configuration evaluation

Reimplemented in CelarCSProblem, ColorCSProblem, ExtensionBinaryCSProblem, and WeightExtensionBinaryCSProblem.

virtual void OpProblem::compute_var_conflict Configuration configuration  )  [inline, virtual]
 

compute the variables participating to a conflict in the configuration

Reimplemented in CelarCSProblem, ImpasseColor, CSProblem, and SwNqueen.

virtual int OpProblem::config_evaluation Configuration configuration  )  [inline, virtual]
 

evaluation of a configuration

Reimplemented in CelarCSProblem, ColorCSProblem, ImpasseColor, ExtensionBinaryCSProblem, CliqueProblem, Nqueen, SwNqueen, SwNiNqueen, and WeightExtensionBinaryCSProblem.

virtual Configuration* OpProblem::create_configuration  )  [inline, virtual]
 

create a configuration (the exact class depends on the problem and must defined in subclasses)

Reimplemented in CelarCSProblem, ColorCSProblem, CSProblem, ExtensionBinaryCSProblem, CliqueProblem, Nqueen, SwNiNqueen, and WeightExtensionBinaryCSProblem.

virtual Move* OpProblem::create_move  )  [inline, virtual]
 

creation of 1 Move object (the class of the Move depends on the problem) : this method is implemented in subclasses

Reimplemented in CSProblem, CliqueProblem, and SwNqueen.

virtual void OpProblem::fullincr_update_conflicts FullincrCSPConfiguration configuration,
Move move
[inline, virtual]
 

update of the conflict data structure (case FullincrCSPConfiguration)

Reimplemented in CelarCSProblem, ColorCSProblem, ImpasseColor, ExtensionBinaryCSProblem, CliqueProblem, Nqueen, SwNqueen, and WeightExtensionBinaryCSProblem.

virtual void OpProblem::incr_update_conflicts IncrCSPConfiguration configuration,
Move move
[inline, virtual]
 

update of the conflict data structure (case IncrCSPConfiguration)

Reimplemented in CelarCSProblem, ColorCSProblem, ExtensionBinaryCSProblem, CliqueProblem, and WeightExtensionBinaryCSProblem.

virtual int OpProblem::index2value int  index,
int  var
[inline, virtual]
 

valueindex in the domain to value

Reimplemented in CelarCSProblem.

virtual void OpProblem::init_population Configuration **  population,
int  populationsize
[inline, virtual]
 

initialization of the population of size populationsize

Reimplemented in CSProblem.

virtual int OpProblem::move_evaluation Configuration configuration,
Move move
[inline, virtual]
 

evaluation of a configuration if the move is done

Reimplemented in CelarCSProblem, CSProblem, CliqueProblem, SwNqueen, and SwNiNqueen.

void OpProblem::move_execution Configuration configuration,
Move move
[virtual]
 

move execution (modification of the current configuration)

Reimplemented in CelarCSProblem, ImpasseColor, CSProblem, CliqueProblem, and SwNqueen.

virtual void OpProblem::next_move Configuration configuration,
Move move,
NeighborhoodSearch nbhs
[inline, virtual]
 

next move to be tested (implemented in subclasses)

Reimplemented in CSProblem, CliqueProblem, and SwNqueen.

virtual void OpProblem::random_configuration Configuration configuration  )  [inline, virtual]
 

random assignment of the variables of a configuration

Reimplemented in CelarCSProblem, ImpasseColor, CSProblem, CliqueProblem, and SwNqueen.

virtual int OpProblem::value2index int  value,
int  var
[inline, virtual]
 

valueindex of value in its domain

Reimplemented in CelarCSProblem.


Member Data Documentation

Configuration* OpProblem::best_config
 

the best configuration found

Move* OpProblem::bestmove
 

the best move found in the neighborhood

Move* OpProblem::currentmove
 

the current move being tested

Move* OpProblem::firstmove
 

the first feasible move tried in the neighborhood

int OpProblem::lower_bound
 

given lower bound , is used as a stop condition when it is reached

int OpProblem::nbvar
 

the number of variables


The documentation for this class was generated from the following files:
Generated on Fri Sep 26 17:27:26 2003 for INCOP by doxygen 1.3.3