| 12
 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
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 
 |  
 
for(multimap<int, int>::iterator l =  fermeture_items.find(ei->retourner_id_fermeture());(*l).first==ei->retourner_id_fermeture();l++)
 
	       {cout<<"conclusion= ";
		conclusion=(*l).second;cout<<conclusion;
 
 
 
                                      while (courant!=NULL)
					{cout<<"courant ";
                                         courant->afficher();
					 if(dernier)
					{for( int k=0;k<=courant->retourner_item()-1;k++)
			                 {premisse.insert(premisse.end(),false);
					 }
 
 
                                             premisse.insert(premisse.end(),true);
 
					      dernier=false;
 
	                                 }
					  else
					{//indice=0;
                                          cout<<"c le item du courant ";courant->retourner_item();
					premisse[courant->retourner_item()]=true;
 
 
 
					 }
                                           courant=courant->retourner_pere();
                                             			  }
 
 
 
 
                        cout<<"\n ligne 1194 je vais inserer "<<conclusion;
		        cout<<"et la premisse ";
			afficher_vecteur_bit(premisse);cout<<"\n";
			reg.supp=0;
			reg.regle=premisse;
                        regles.insert(pair<int,regle_supp>(conclusion,reg));
                        trouve=false;
                            } | 
Partager