Non-terminal symbol Declaration

rule(s)occurrences

Description

Declarations are needed to discriminate relation and function symbols. NB: an identifier can be declared explicitly as either a relation symbol or a function symbol. An undeclared identifier will cause an error.

Defining rules for nonterminal symbol Declaration:

Declaration 'Relation'  'Name' 
'Function'  'Name' 

Occurrences of symbol Declaration in body of other rules:

RuleSetItem Declaration  ';' 

Copyright © 2006 ILOG, Inc.; All Rights Reserved.