#*=====================================================================*/
#*    .../assert.txt ...                                               */
#*    -------------------------------------------------------------    */
#*    Author      :  Manuel Serrano                                    */
#*    Creation    :  Tue Nov  9 16:29:57 1993                          */
#*    Last change :  Tue Nov  9 18:33:52 1993 (serrano)                */
#*    -------------------------------------------------------------    */
#*    Une description des assertions                                   */
#*=====================================================================*/

#*---------------------------------------------------------------------*/
#*    Ces formes manipulent les valeurs des variables                  */
#*---------------------------------------------------------------------*/
(assert always (x y)   (>= x y))
(assert never  (x)     (< x 0))
(assert check  (a b c) ....)

#*---------------------------------------------------------------------*/
#*    Ces formes se referent a la definition de fonction courante      */
#*---------------------------------------------------------------------*/
(assert beginning (x) (= x 0))
(assert end       (x) (= x 0))

#*---------------------------------------------------------------------*/
#*    Ces formes se referent aux instances des variables et non pas    */
#*    aux variables elles-memes                                        */
#*---------------------------------------------------------------------*/
(assert once      (x) (> x 0))
(assert reached   ((node (arc? (node-out node)) 
                         (putprop! node 'out (node-out node))))
        (eq? (node-out node) (getprop! node 'out)))

