Dear sir:
Now I am succeeded to link almost the object files from spot together with my own ones. The only left question is the two functions yylex(..,..) and flex_set_buffer which are declared in ltlparse/parsedecl.hh however missing their implementations. That causes the g++ link failed in my platform. I guess these two functions may be in the libraries of spot, but I am sorry I cannot find them.
So please excuse me to disturb you again, but indeed I need your help very much!!
Best
Jianwen
2012/6/11 ÀÎÄ
<lijwen2748@gmail.com>
Dear sir:
I am trying to extend spot by adding a new ltl-to-ba translation algorithm. The brief idea is that I extend the formula structure in spot so that I can
use the parser for ltl formulas.
Now I have finished the code and want to compile my codes with those in spot, but I am confused how I can achieve this. Does spot provides some interfaces that can help someone to extend it?
Thanks very much for attention and I am expecting your reply.
Best
Jianwen