Accueil | Cast3M

   1 : $$$$ VERI     NOTICE  GOUNAND   17/12/07    21:15:17     9650           
   2 :                                              DATE     17/12/07
   3 :   Operateur VERI                           Voir aussi : VERM
   4 :     --------------                                          
   5 :     LOG1 = 'VERI' | FLOT1 | ;
   6 :                   | CHPO1 |
   7 :     
   8 :     Objet :
   9 :     _______
  10 : 
  11 :     L'operateur VERI verifie qu'un nombre FLOTTANT FLOT1 est un reel.
  12 :     Il peut aussi verifier que les valeurs d'un CHPOINT CHPO1 sont
  13 :     reelles.
  14 : 
  15 :     Il rend le LOGIQUE LOG1 egal a VRAI si oui et FAUX si non.
  16 : 
  17 :     Remarque :
  18 :     __________
  19 :     
  20 :       INF et NAN ne sont pas des reels.
  21 :