
# ltl2ba_parsetab.py
# This file is automatically generated. Do not edit.
_tabversion = '3.2'

_lr_method = 'LALR'

_lr_signature = '\x94S\xce4\x1c\r>+MpO\xe7\xcf}\xdf\x03'
    
_lr_action_items = {'COMMENT':([3,],[4,]),'AND':([18,19,22,28,29,31,34,35,],[25,-14,-15,25,-13,-11,25,-10,]),'GOTO':([26,],[32,]),'LBRACE':([2,],[3,]),'RPAREN':([19,22,28,29,31,34,35,],[-14,-15,35,-13,-11,-12,-10,]),'NAME':([4,6,7,9,13,15,17,20,21,25,27,30,32,],[5,-3,-4,5,-2,22,-5,22,22,22,22,-6,5,]),'SEMI':([24,],[30,]),'COLON2':([5,10,14,16,23,33,36,],[-17,15,-8,15,-7,-9,-16,]),'NEVER':([0,],[2,]),'NUMBER':([15,20,21,25,27,],[19,19,19,19,19,]),'RBRACE':([6,7,9,13,17,30,],[-3,-4,12,-2,-5,-6,]),'IMP':([18,19,22,29,31,34,35,],[26,-14,-15,-13,-11,-12,-10,]),'COLON':([5,8,],[-17,11,]),'LPAREN':([15,20,21,25,27,],[20,20,20,20,20,]),'NOT':([15,20,21,25,27,],[21,21,21,21,21,]),'FI':([5,14,16,23,33,36,],[-17,-8,24,-7,-9,-16,]),'$end':([1,12,],[0,-1,]),'OR':([18,19,22,28,29,31,34,35,],[27,-14,-15,27,-13,-11,-12,-10,]),'IF':([4,6,7,9,11,13,17,30,],[10,-3,-4,10,10,-2,-5,-6,]),}

_lr_action = { }
for _k, _v in _lr_action_items.items():
   for _x,_y in zip(_v[0],_v[1]):
      if not _x in _lr_action:  _lr_action[_x] = { }
      _lr_action[_x][_k] = _y
del _lr_action_items

_lr_goto_items = {'case':([10,16,],[14,23,]),'claim':([0,],[1,]),'goto':([26,],[33,]),'clause':([4,9,],[6,13,]),'if_clause':([4,9,11,],[7,7,17,]),'state':([4,9,32,],[8,8,36,]),'expr':([15,20,21,25,27,],[18,28,29,31,34,]),'clauses':([4,],[9,]),'cases':([10,],[16,]),}

_lr_goto = { }
for _k, _v in _lr_goto_items.items():
   for _x,_y in zip(_v[0],_v[1]):
       if not _x in _lr_goto: _lr_goto[_x] = { }
       _lr_goto[_x][_k] = _y
del _lr_goto_items
_lr_productions = [
  ("S' -> claim","S'",1,None,None,None),
  ('claim -> NEVER LBRACE COMMENT clauses RBRACE','claim',5,'p_claim','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',163),
  ('clauses -> clauses clause','clauses',2,'p_clauses','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',167),
  ('clauses -> clause','clauses',1,'p_clauses_end','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',171),
  ('clause -> if_clause','clause',1,'p_clause','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',175),
  ('clause -> state COLON if_clause','clause',3,'p_clause_labeled','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',179),
  ('if_clause -> IF cases FI SEMI','if_clause',4,'p_if_clause','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',187),
  ('cases -> cases case','cases',2,'p_cases','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',191),
  ('cases -> case','cases',1,'p_cases_end','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',195),
  ('case -> COLON2 expr IMP goto','case',4,'p_case','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',199),
  ('expr -> LPAREN expr RPAREN','expr',3,'p_expr_paren','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',203),
  ('expr -> expr AND expr','expr',3,'p_and','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',207),
  ('expr -> expr OR expr','expr',3,'p_or','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',211),
  ('expr -> NOT expr','expr',2,'p_not','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',215),
  ('expr -> NUMBER','expr',1,'p_number','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',219),
  ('expr -> NAME','expr',1,'p_expr_name','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',223),
  ('goto -> GOTO state','goto',2,'p_goto','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',228),
  ('state -> NAME','state',1,'p_state','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',232),
  ('empty -> <empty>','empty',0,'p_empty','/home/scott/scott_centre/scm/TuLiP/tulip/interfaces/ltl2ba.py',242),
]
