====== EstPrésent ======

class AVisiteur{

...
/*
*
* True si lv est présent au même moment 
* que le visiteur courant
*
*
*/
public boolean void estPrésent( Visiteur autreVisiteur ){
  LocalTime heureEntréeAV = autreAVisiteur.getHeureEntrée();
  LocalTile heureSortieAV = autreAVisiteur.getHeureSortie();
  
  
  // heureEntréeAV E [heureEntrée:heureSortie] 
  if ( heureEntréeAV.compareTo(heureEntrée) >= 0 &
       ( heureSortie == null || heureEntréeAV.compareTo(heureSortie) <= 0 )
         return true;
  }
  
  // heureSortie E [heureEntrée:heureSortie]
     if ( (heureentréeAV.compareTo(heureEntrée) < 0 ) &
        ( heureSortieAV == null || heureSortieAV.compareTo(heureEntrée ) > 0 )) {
         return true;
  }

  return false;

}



}