Re: [Spot] how to add new features to spot

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