// 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 Oct 24 09:58:55 2006 by hak

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

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

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

Con
  : Data
    /**
     * This denotes valued constants (<i>e.g.</i>, numbers, <i>etc.</i>,
     * ...).
     */
    [ rcl:Data 1 ]
  | Ind
    /**
     * This denotes individual constants (<i>e.g.</i>, object referents).
     */
    [ rcl:Ind 1 ]
  ;

/**
 * This denotes valued constants (<i>e.g.</i>, numbers, <i>etc.</i>,
 * ...).
 */
Data
  : Value
  ;

/**
 * This denotes individual constants (<i>e.g.</i>, object referents).
*/
Ind
  : Name
    [ Object 1 ]
  ;