Discussion :

[elekis]

bonjour,

je dois utiliser une priority_queue mais avec mon prorper operateur de comparaison.

voici comment je d�fini la priority_queue.

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
 
        std::priority_queue< std::vector<std::set<CClause*> * >, CompareClause() > Q;

et le compareClause est ici.

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
 
 
struct CompareClause{
 
    bool operator ()( const std::set<CClause*> *p, const std::set<CClause*> *q ) 
    { 
        return p->size() < q->size() ; 
    } 
 
};

j'aurais cru qu'il fallait utiliser les foncteurs, mais il m'envoi ballader.

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
 
ocuments/Logic$ make -j 2
g++ -o Antichaine.o -c Antichaine.cpp -Wall -ansi
Antichaine.cpp: In member function ‘void CAntichaine::construireA()’:
Antichaine.cpp:20: erreur: ‘CompareClause ()()’ is not a class, struct, or union type
Antichaine.cpp:20: erreur: patron de l'argument 3 est invalide
Antichaine.cpp:20: erreur: invalid type in declaration before ‘;’ token
Antichaine.cpp:20: attention : unused variable ‘Q’
make: *** [Antichaine.o] Erreur 1
elekis@carla:~/Documents/Logic$

le truc, c'est que l'on doit mettre pas mal d'�l�ment dedans (des std::set<Clause*> ) et apres on doit les retirer un a un du plus grand au plus
petit. et on voudrais que le plus grand est celui qui a le plus grand nombre de clause.


merci

a+++

[Laurent Gomila]

Ce n'est pas une instance du foncteur que tu dois sp�cifier en param�tre template, mais son type :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

std::priority_queue< std::vector<std::set<CClause*> * >, CompareClause>

Apr�s si ce n'est pas une instance par d�faut qu'il faut utiliser (ce qui n'est pas le cas ici) il y a normalement un constructeur appropri�.

[elekis]

heu... merci,

mais je comprend pas trop la seconde phrase.


mnt , j'ai cela.

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
11
12
 
elekis@carla:~/Documents/Logic$ make -j 2
g++ -o Antichaine.o -c Antichaine.cpp -Wall -ansi
g++ -o ClauseManager.o -c ClauseManager.cpp -Wall -ansi
Antichaine.cpp: In member function ‘void CAntichaine::construireA()’:
Antichaine.cpp:20: erreur: no type named ‘value_type’ in ‘struct CompareClause’
Antichaine.cpp:20: erreur: patron de l'argument 3 est invalide
Antichaine.cpp:20: erreur: invalid type in declaration before ‘;’ token
Antichaine.cpp:20: attention : unused variable ‘Q’
make: *** [Antichaine.o] Erreur 1
make: *** Attente des tâches non terminées....
elekis@carla:~/Documents/Logic$

je comprend pas, je dois definir une value_type?? mais c'est quoi?

et pourquoi il ne faut pas de () mais son type. dans l'exemple
http://c.developpez.com/faq/cpp/?pag...TL_custom_sort
c'est bien une instance qu'on passe. a la fonction sort??


merci pour tout.

a++

[Laurent Gomila]

Le message d'erreur parle de l'argument 3 (qui devrait �tre l'allocateur), or dans ce que tu nous montres il n'y en � que deux. On peut voir le vrai code ?

et pourquoi il ne faut pas de () mais son type. dans l'exemple
http://c.developpez.com/faq/cpp/?pag...TL_custom_sort
c'est bien une instance qu'on passe. a la fonction sort??

Parce que std::priority_queue<...> est un type, pas une fonction. Il attend en param�tre template le type du foncteur � utiliser, pas une instance de celui-ci.

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
struct Foncteur
{
    bool operator ()(int x, int y) const
    {
        return x < y;
    }
};
 
std::priority_queue<int, Foncteur> Q;

Ta priority_queue va ensuite cr�er une instance par d�faut de Foncteur, pour appeler son op�rateur (). Ce que je disais c'est que si par hasard tu voulais utiliser une instance bien particuli�re, pas construite par d�faut, tu peux le faire ainsi :

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
11
struct Foncteur
{
    Foncteur(std::string Param) {...}
 
    bool operator ()(int x, int y) const
    {
        return x < y;
    }
};
 
std::priority_queue<int, Foncteur> Q(Foncteur("toto"));