public void checkClash(){
		//cla

		ArrayList<Noeud> childrenRoot=new ArrayList<Noeud>();
		childrenRoot=tableaux.get(0).getLeaves();
		
		
		for(int j=0;j<childrenRoot.size();j++){
//			System.out.println("feuille======");
//			System.out.println(childrenRoot.get(j).getInd());
			if(!childrenRoot.get(j).isClash()){
				// TODO, create a function to get all the hypo possibles
				EnsembleFermeture ens=new EnsembleFermeture();	
				ens.setElement(childrenRoot.get(j).getAllSuccessors());
				ens.setInd(childrenRoot.get(j).getInd());
				ens.removeRedundancy();
				hyp.add(ens);
				res.addHyp(ens);
				//ens.printALL();
			}
		}
		
		for(int i=0;i<hyp.size();i++){
			EnsembleFermeture ens=hyp.get(i);
//			ArrayList<OWLClassExpression> ls=ens.getAllExpression();
//			for(int j=0;j<ls.size();j++){
//				System.out.println(ls.get(j));
//				if(pr.isSatisfiable(ls.get(j))){
//					System.out.println(true);
//				}
//				else
//					System.out.println(false);
//				System.out.println("#########################################");
//			}
			
			
			// test la satisfiablite
			/*
			System.out.println(ens.getIntersectExpression());
			if(pr.isSatisfiable(ens.getIntersectExpression())){
				System.out.println(true);
			}
			else
				System.out.println(false);
			System.out.println("#########################################");
			*/
		}
		
		//getHypothese();
		
		
		
//		for(int i=0;i<tableaux.size();i++){
//			if(!tableaux.get(i).isClash()&& !tableaux.get(i).hasChild()){
//				if(tableaux.get(i).getH().getInd()>0)
//					hyp.add(tableaux.get(i).getH());
//				
//				// TODO, choisir l'ensemble minimume
//				ArrayList<String> h=new ArrayList();
//				h.add(tableaux.get(i).getHypo());//.getHypoList();
//				
//				H=H.concat(tableaux.get(i).getHypo());
//				if(Hypo.isEmpty()){
//					
//					for(int ind=0;ind<h.size();ind++){
//						Hypo.add(h.get(ind));
//					}
//					
//				}
//				else{					
//					for(int ind=0;ind<h.size();ind++){
//						boolean flag=false;
//						for(int j=0;j<Hypo.size();j++){
//							if(h.get(ind).equals(Hypo.get(j))){
//								flag=true;
//								break;
//							}
//						}
//						if(!flag)
//							Hypo.add(h.get(ind));
//					}
//				}
//			}
//		}
	}