From 483507f16e1fccbfaaa9d6fc14babf1026eb1a07 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 26 Jun 2003 14:26:23 +0000 Subject: [PATCH] * doc/Makefile.am (doc): Typo. * src/ltlvisit/tostring.hh (to_string): Add doxygen comments. * src/ltlast/multop.hh (multop::paircmp): Add doxygen comments. * src/ltlvisit/postfix.hh: Typo. --- ChangeLog | 5 +++++ doc/Makefile.am | 4 ++-- src/ltlast/Makefile.am | 1 - src/ltlast/multop.hh | 1 + src/ltlenv/Makefile.am | 2 +- src/ltltest/Makefile.am | 4 ++-- src/ltlvisit/postfix.hh | 2 +- src/ltlvisit/tostring.hh | 12 +++++++++--- src/tgba/Makefile.am | 1 - src/tgba/tgbaexplicit.hh | 4 ++++ src/tgbaparse/Makefile.am | 2 +- 11 files changed, 26 insertions(+), 12 deletions(-) diff --git a/ChangeLog b/ChangeLog index 8ca6738a1..5dc0d663f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2003-06-26 Alexandre Duret-Lutz + * doc/Makefile.am (doc): Typo. + * src/ltlvisit/tostring.hh (to_string): Add doxygen comments. + * src/ltlast/multop.hh (multop::paircmp): Add doxygen comments. + * src/ltlvisit/postfix.hh: Typo. + * src/ltlast/Makefile.am (ltlastdir, ltlast_HEADERS): New variables. (libltlast_la_SOURCES): Move all headers to ltlast_HEADERS. * src/ltlenv/Makefile.am (ltlenvdir, ltlenv_HEADERS): New variables. diff --git a/doc/Makefile.am b/doc/Makefile.am index 575dc3eb4..639250f56 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -5,8 +5,8 @@ DOXYGEN = doxygen all-local: $(srcdir)/stamp doc: - rm $(srcdir)/stamp - $(AMKE) $(srcdir)/stamp + rm -f $(srcdir)/stamp + $(MAKE) $(srcdir)/stamp $(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac $(MAKE) Doxyfile diff --git a/src/ltlast/Makefile.am b/src/ltlast/Makefile.am index 8cfc0e8be..b70e9d3cb 100644 --- a/src/ltlast/Makefile.am +++ b/src/ltlast/Makefile.am @@ -24,4 +24,3 @@ libltlast_la_SOURCES = \ multop.cc \ refformula.cc \ unop.cc - diff --git a/src/ltlast/multop.hh b/src/ltlast/multop.hh index 77a91fcf4..a311929ab 100644 --- a/src/ltlast/multop.hh +++ b/src/ltlast/multop.hh @@ -70,6 +70,7 @@ namespace spot typedef std::pair pair; + /// Comparison functor used internally by ltl::multop. struct paircmp { bool diff --git a/src/ltlenv/Makefile.am b/src/ltlenv/Makefile.am index 61cb79696..e947e9d3c 100644 --- a/src/ltlenv/Makefile.am +++ b/src/ltlenv/Makefile.am @@ -9,4 +9,4 @@ ltlenv_HEADERS = \ noinst_LTLIBRARIES = libltlenv.la libltlenv_la_SOURCES = \ - defaultenv.cc \ No newline at end of file + defaultenv.cc \ No newline at end of file diff --git a/src/ltltest/Makefile.am b/src/ltltest/Makefile.am index 066fc7341..c4641b07e 100644 --- a/src/ltltest/Makefile.am +++ b/src/ltltest/Makefile.am @@ -1,8 +1,8 @@ AM_CPPFLAGS = -I$(srcdir)/.. LDADD = ../ltlparse/libltlparse.la \ - ../ltlvisit/libltlvisit.la \ + ../ltlvisit/libltlvisit.la \ ../ltlenv/libltlenv.la \ - ../ltlast/libltlast.la + ../ltlast/libltlast.la check_SCRIPTS = defs # Keep this sorted alphabetically. diff --git a/src/ltlvisit/postfix.hh b/src/ltlvisit/postfix.hh index 821a973dc..fbf25e4fe 100644 --- a/src/ltlvisit/postfix.hh +++ b/src/ltlvisit/postfix.hh @@ -8,7 +8,7 @@ namespace spot { namespace ltl { - /// \brief Apply a algorithm on each node of an AST, + /// \brief Apply an algorithm on each node of an AST, /// during a postfix traversal. /// /// Override one or more of the postifix_visitor::doit methods diff --git a/src/ltlvisit/tostring.hh b/src/ltlvisit/tostring.hh index 966932b45..03c938d76 100644 --- a/src/ltlvisit/tostring.hh +++ b/src/ltlvisit/tostring.hh @@ -1,5 +1,5 @@ -#ifndef SPOT_LTLVISIT_AST2STRING_HH -# define SPOT_LTLVISIT_AST2STRING_HH +#ifndef SPOT_LTLVISIT_TOSTRING_HH +# define SPOT_LTLVISIT_TOSTRING_HH #include #include @@ -8,9 +8,15 @@ namespace spot { namespace ltl { + /// \brief Output a formula as a (parsable) string. + /// \param f The formula to translate. + /// \param os The stream where it should be output. std::ostream& to_string(const formula* f, std::ostream& os); + + /// \brief Convert a formula into a (parsable) string. + /// \param f The formula to translate. std::string to_string(const formula* f); } } -#endif // SPOT_LTLVISIT_AST2STRING_HH +#endif // SPOT_LTLVISIT_TOSTRING_HH diff --git a/src/tgba/Makefile.am b/src/tgba/Makefile.am index fd3122af7..359841ebf 100644 --- a/src/tgba/Makefile.am +++ b/src/tgba/Makefile.am @@ -42,4 +42,3 @@ libtgba_la_SOURCES = \ tgbaexplicit.cc \ tgbaproduct.cc \ tgbatranslateproxy.cc - diff --git a/src/tgba/tgbaexplicit.hh b/src/tgba/tgbaexplicit.hh index 9e2b591ff..17f308c00 100644 --- a/src/tgba/tgbaexplicit.hh +++ b/src/tgba/tgbaexplicit.hh @@ -21,6 +21,8 @@ namespace spot struct transition; typedef std::list state; + + /// Explicit transitions (used by spot::tgba_explicit). struct transition { bdd condition; @@ -65,6 +67,7 @@ namespace spot }; + /// States used by spot::tgba_explicit. class state_explicit : public spot::state { public: @@ -87,6 +90,7 @@ namespace spot }; + /// Successor iterators used by spot::tgba_explicit. class tgba_explicit_succ_iterator : public tgba_succ_iterator { public: diff --git a/src/tgbaparse/Makefile.am b/src/tgbaparse/Makefile.am index cbe03b8ee..107619812 100644 --- a/src/tgbaparse/Makefile.am +++ b/src/tgbaparse/Makefile.am @@ -4,7 +4,7 @@ AM_CXXFLAGS = $(WARNING_CXXFLAGS) tgbaparsedir = $(pkgincludedir)/tgbaparse tgbaparse_HEADERS = \ - public.hh + public.hh noinst_LTLIBRARIES = libtgbaparse.la