arbre n-aire en C++ pour les QCSP
onjour,
Mon problème est la réalisation d'un arbre stratégique de recherche dans le cadre des QCSP (problème de satisfaction des contraintes quantifiées), cette realisation est faite en C++, et étant nouveau dans ce langage, je ne comprends pas trop ces rouages. bref passons aux choses intéressantes.......
un QCSP+ est un problème de la forme liste de (Q,X,C) où Q est un quantificateur (∃ et ∀), X = liste de variables et C=liste de contraintes, notons que le ∃ et ∀ s'alternent à chaque fois. et (Q,X,C) est appelé scope.
mon problème est le suivant, ayant réaliser les classes scope, variables et contraintes, j'aimerais ecrire une classe arbre qui construit l'arbre représentant un pb QCSP.
Code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
| class Variable{
Variable(int var, int min, int max);
Variable(const Variable &v);
...
}
template<class T, int sz>
class Constraint{
public:
Constraint(T *var, int taille);
~Constraint();
...
}
template<class Q, class A, class B>
class Scope {
/** Un Scope est une template contenant un QCSP+
* @param quant est du type boolean, il représente les quantificateurs, TRUE pour universel et FALSE pour existentiel
* @param A est une classe qui pointe sur un tableau. Ici dans notre cas il s'agi des variables liées au quantificateur
* @param B est une classe, il s'agit d'une classe qui pointe sur une liste de contraintes liées aux variables
*/
public:
Scope(Q quant, A *var, B *cst);
....
} |
j'aimerais consruire la classe arbre qui prendra une liste de Scope
merci de m'aider dans ma lourde tâche
