12 Jun
2012
12 Jun
'12
3:30 p.m.
Dear sir:
up to now I have achieved to compile my sources with those in ltlast/.
However the problem now comes that I have no idea to use the corresponding
libs to generate the executable file. Can you do me a flavor and tell me
how I can finish that? My whole idea is that to use the ltl parser and
output automaton in spot while I myself will finish the translation
algorithm so that I can compare my results with those from spot.
Best
Jianwen
2012/6/11 李建文 <lijwen2748(a)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