From ea348d8e80c1000685cab6a9a2fcd1f2c0e69ebb Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 14 Feb 2016 21:02:39 +0100 Subject: [PATCH] * spot/twa/twa.hh: Fix doxygen comments. --- spot/twa/twa.hh | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/spot/twa/twa.hh b/spot/twa/twa.hh index 488057b06..8bae57c22 100644 --- a/spot/twa/twa.hh +++ b/spot/twa/twa.hh @@ -619,7 +619,7 @@ namespace spot /// /// Atomic propositions and acceptance conditions are represented /// as BDDs. The dictionary allows to map BDD variables back to - /// formulae, and vice versa. This is useful when dealing with + /// formulas, and vice versa. This is useful when dealing with /// several automata (which may use the same BDD variable for /// different formula), or simply when printing. bdd_dict_ptr get_dict() const @@ -1233,27 +1233,27 @@ namespace spot }; - /// \addtogroup twa_representation TGBA representations + /// \addtogroup twa_representation TωA representations /// \ingroup twa - /// \addtogroup twa_algorithms TGBA algorithms + /// \addtogroup twa_algorithms TωA algorithms /// \ingroup twa - /// \addtogroup twa_on_the_fly_algorithms TGBA on-the-fly algorithms + /// \addtogroup twa_on_the_fly_algorithms TωA on-the-fly algorithms /// \ingroup twa_algorithms - /// \addtogroup twa_io Input/Output of TGBA + /// \addtogroup twa_io Input/Output of TωA /// \ingroup twa_algorithms - /// \addtogroup twa_ltl Translating LTL formulae into TGBA + /// \addtogroup twa_ltl Translating LTL formulas into TωA /// \ingroup twa_algorithms /// \addtogroup twa_generic Algorithm patterns /// \ingroup twa_algorithms - /// \addtogroup twa_reduction TGBA simplifications + /// \addtogroup twa_reduction TωA simplifications /// \ingroup twa_algorithms - /// \addtogroup twa_misc Miscellaneous algorithms on TGBA + /// \addtogroup twa_misc Miscellaneous algorithms on TωA /// \ingroup twa_algorithms }