// FILE. . . . . /home/hak/ilt/src/ilog/rif/BLR.grm
// EDIT BY . . . Hassan Ait-Kaci
// ON MACHINE. . 4j4zn71
// STARTED ON. . Wed Apr 02 14:07:24 2008

// Last modified on Wed Oct 01 09:36:45 2008 by hak

////////////////////////////////////////////////////////////////////////
// The BLD Rule Language:
////////////////////////////////////////////////////////////////////////

Group
  : GROUP Meta_opt OPENPAR RuleSet_opt CLOSEPAR
  [ L:"Group" C:(meta*2 rule*4) ]
  ;

Meta
  : Frame
  ;

Rule
  : Clause
  | FORALL Vars_opt OPENPAR Clause CLOSEPAR
  [ L:"Forall" C:(declare*2 formula.4) ]
  ;

Clause
  : Atomic
  | Implies
  ;

Implies
  : Atomic IF Formula
  [ L:"Implies" C:(if.3 then.1)]
  ;

RuleSet_opt
  : /* empty */
  | RuleSet
  ;

RuleSet
  : RuleOrGroup
  | RuleSet RuleOrGroup
  ;

RuleOrGroup
  : Rule
  | Group
  ;

////////////////////////////////////////////////////////////////////////

Meta_opt
  : /* empty */
  | Meta
  ;

Vars_opt
  : /* empty */
  | Vars
  ;

////////////////////////////////////////////////////////////////////////

This file was generated on Thu Feb 17 16:55:59 PST 2011 from file BLR.grm
by the ilog.language.tools.Hilite Java tool written by Hassan Aït-Kaci