Keywords.grm
|
%{ static { Lexicon.reserved("Function"); Lexicon.reserved("Relation"); Lexicon.reserved("Exists"); Lexicon.reserved("Forall"); Lexicon.reserved("Or"); Lexicon.reserved("And"); Lexicon.reserved("Neg"); Lexicon.reserved("Naf"); } %}
This file was generated on Mon Mar 31 17:18:17 PDT 2008 from file Keywords.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci