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 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 (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
  : Name
    [ Object 1 ]
  ;

This file was generated on Mon Mar 31 17:18:18 PDT 2008 from file RCL_valobj.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci