In [8]:

    

from tulip.spec.gr1_fragment import *
help(check('[](A)-> [](B)'))


    

    




/Users/shaesaert/anaconda/envs/Python36/lib/python3.6/site-packages/tulip/spec/lexyacc.py:340: UserWarning: Deprecated: Better to instantiate a Parser once only.
  warnings.warn('Deprecated: Better to instantiate a Parser once only.')






    




---------------------------------------------------------------------------
AttributeError                            Traceback (most recent call last)
<ipython-input-8-dcda41f8a197> in <module>()
      1 from tulip.spec.gr1_fragment import *
----> 2 help(check('[](A)-> [](B)'))

/Users/shaesaert/anaconda/envs/Python36/lib/python3.6/site-packages/tulip/spec/gr1_fragment.py in check(formula)
    104 
    105     # plot parse tree
--> 106     sast.dump_dot(ast, 'ast.dot')
    107 
    108     # sync product of AST with DFA,

AttributeError: module 'tulip.spec.ast' has no attribute 'dump_dot'

In [17]:

    

from tulip.spec import GRSpec
a=GRSpec()
GRSpec.ast(a,'v -> b')


    

    




---------------------------------------------------------------------------
KeyError                                  Traceback (most recent call last)
<ipython-input-17-1948d01b68ea> in <module>()
      1 from tulip.spec import GRSpec
      2 a=GRSpec()
----> 3 GRSpec.ast(a,'v -> b')

/Users/shaesaert/anaconda/envs/Python36/lib/python3.6/site-packages/tulip/spec/form.py in ast(self, x)
    743                         '\nNeed to parse.')
    744             self.parse()
--> 745         return self._ast[x]
    746 
    747     def parse(self):

KeyError: 'v -> b'

In [ ]: