1. What is this page?
This page tracks bugs and other useful comments about the reference documentation of Spot. This documentation is maintained as Doxygen comments in the source of the library, so it cannot be edited as easily as this wiki.
Two versions of the reference documentation are available on-line.
http://lrde.epita.fr/dload/spot/spot-snapshot.html/ contains the documentation for the latest successful build of the CVS version of Spot (see SpotSnapshot)
Please try to check this second version before adding a note here.
2. How do I edit this page?
Please create yourself an account and use it to edit this page (and any other). Click on UserPreferences to do that; there is always a link for this on the top when you are not logged. (Anonymous edits are only allowed from the intranet.)
3. Notes about the refdoc
In checkpn, http://spot.lip6.fr/refdoc/checkpn-latest/index.html ;
a typo (through): spot::tgba_succ_iterator allowing to iterate throw the successors of a state ;
Add more notes here.