toulbar2
Public Member Functions | List of all members
INCOP::NaryCSProblem Class Reference

#include <narycsproblem.h>

Inheritance diagram for INCOP::NaryCSProblem:
Inheritance graph
[legend]
Collaboration diagram for INCOP::NaryCSProblem:
Collaboration graph
[legend]

Public Member Functions

Long config_evaluation (Configuration *configuration)
 
Long compute_conflict (Configuration *configuration, int var, int val)
 
Configurationcreate_configuration ()
 
- 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 allocate_moves ()
 
virtual void best_config_verification ()
 
virtual int index2value (int index, int var)
 
virtual int value2index (int value, int var)
 

Additional Inherited Members

- 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
 

Detailed Description

NaryCSPs solved as weighted Max-CSPs with weights on the tuples

Member Function Documentation

◆ compute_conflict()

Long INCOP::NaryCSProblem::compute_conflict ( Configuration configuration,
int  var,
int  val 
)
virtual

number of conflicts of a simple assignment in a complete configuration

calcul du nombre de conflits d'une affectation - appele par l'évaluation d'un mouvement (cas incr)

Reimplemented from OpProblem.

References Configuration::config.

◆ config_evaluation()

Long INCOP::NaryCSProblem::config_evaluation ( Configuration configuration)
virtual

evaluation and filling the conflict datastructure

code optimisé pour configuration semi-incrementale IncrCSPConfiguration

Reimplemented from OpProblem.

References Configuration::incr_conflicts(), and Configuration::init_conflicts().

◆ create_configuration()

Configuration * INCOP::NaryCSProblem::create_configuration ( )
virtual

choice of incrementality mode : IncrCSPConfiguration ou FullincrCSPConfiguration

utilisation des configurations "semi-incrementales"IncrCSPConfiguration - les conflits des valeurs courantes des variables sont stockés dans le tableau tabconflicts ou tout-incrémentales FullincrCSPConfiguration : les conflits de toutes les valeurs avec la configuration courante sont maintenus dans tabconflicts

Reimplemented from CSProblem.