alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/mainpage.dox: More text, and a link to "Modules".

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2005-01-29 16:47:01 +00:00
parent 5c6471daca
commit 9e7138d9ab
2 changed files with 21 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

23
doc/mainpage.dox
View file

@ -1,6 +1,21 @@
/// \mainpage
///
/// This main page has yet to be written.
/// \section overview The Spot Library
///
/// Spot is a model-checking library. It provides algorithms and data
/// structures to implement the automata-theoretic approach to
/// model-checking.
///
/// See <a href="http://spot.lip6.fr/">spot.lip6.fr</a> for more
/// information about this project.
///
/// \section thisdoc This Document
///
/// This document describes all the public data structures and functions
/// of Spot. This aims to be a reference manual, not a tutorial.
///
/// If you are new to this manual, start with <a href="modules.html">the
/// module page</a>. This is what looks the closest to a table of contents.
///
/// \section pointers Handy starting points
///
@ -11,6 +26,6 @@
/// Generalized Büchi Automaton.
/// \li spot::ltl_to_tgba_fm Convert a spot::ltl::formula into a
/// spot::tgba.
/// \li spot::ltl_to_tgba_lacim Likewise.
/// \li spot::tgba_product On-the-fly product of two spot::tgba.
/// \li spot::emptiness_check Base class for all emptiness-check algorithms
/// (see also module \ref emptiness_check)