11 Jun
2012
11 Jun
'12
3:44 p.m.
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
12 Jun
12 Jun
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
13 Jun
13 Jun
7:50 a.m.
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(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
14 Jun
14 Jun
6:40 a.m.
Dear sir:
I succeed to generate my executable file finally. And sorry for
disturbing. ^^ I will let you know if there are any news.
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
19 Jun
19 Jun
11 a.m.
On Thu, Jun 14, 2012 at 6:40 AM, 李建文 <lijwen2748(a)gmail.com> wrote:
Dear sir:
I succeed to generate my executable file finally. And sorry for
disturbing. ^^ I will let you know if there are any news.
Hi Jianwen,
I'm glad you figured it out by yourself, because I was very puzzled by
your emails.
Spot is a library, so if you want to use some feature it provides in a
program, all you need is to link your program with libspot.so (or
preferably use libtool and link to libspot.la).
Please next time you have some problem, could you actually *show* the
problem in addition to describing it?
--
Alexandre Duret-Lutz
4614
days inactive
4622
days old
4 comments
2 participants
participants (2)
-
Alexandre Duret-Lutz -
李建文