`RCL_valobj.grm`

    // FILE. . . . . /cygdrive/c/cygwin/home/hak/ilt/src/ilog/rif/RCL_valobj.grm
    // EDIT BY . . . Hassan Ait-Kaci
    // ON MACHINE. . 4j4zn71.Ilog.Biz
    // STARTED ON. . Tue Sep 19 07:29:27 2006

    // Last modified on Tue Sep 19 19:03:41 2006 by hak

    // Rules for Con that differentiate between values (numbers) and
    // objects.

    // Con ::= Data | Ind
    // Data ::= Value
    // Ind ::= Object

These rules for $Con$ differentiate among two sorts of constants: $Data$ which are $Value$s and individual that are $Object$s.

    Con
      : Data

This denotes valued constants (e.g., numbers, etc., ...).

        [ rcl:Data 1 ]
      | Ind

This denotes individual constants (e.g., object referents).

        [ rcl:Ind 1 ]
      ;

This denotes valued constants (e.g., numbers, etc., ...).

    Data
      : Value
      ;

This denotes individual constants (e.g., object referents).

    Ind
      : Object
      ;

This file was generated on Thu Sep 21 08:10:12 PDT 2006 from file `RCL_valobj.grm`
by the `ilog.language.tools.Hilite` Java tool written by Hassan Aït-Kaci