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

* spot/twa/twa.hh: Fix doxygen comments.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-02-14 21:02:39 +01:00
parent ee2d3aac71
commit ea348d8e80
1 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

16
spot/twa/twa.hh
View file

@ -619,7 +619,7 @@ namespace spot
/// ///
/// Atomic propositions and acceptance conditions are represented /// Atomic propositions and acceptance conditions are represented
/// as BDDs. The dictionary allows to map BDD variables back to /// 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 /// several automata (which may use the same BDD variable for
/// different formula), or simply when printing. /// different formula), or simply when printing.
bdd_dict_ptr get_dict() const 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 /// \ingroup twa
/// \addtogroup twa_algorithms TGBA algorithms /// \addtogroup twa_algorithms TωA algorithms
/// \ingroup twa /// \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 /// \ingroup twa_algorithms
/// \addtogroup twa_io Input/Output of TGBA /// \addtogroup twa_io Input/Output of TωA
/// \ingroup twa_algorithms /// \ingroup twa_algorithms
/// \addtogroup twa_ltl Translating LTL formulae into TGBA /// \addtogroup twa_ltl Translating LTL formulas into TωA
/// \ingroup twa_algorithms /// \ingroup twa_algorithms
/// \addtogroup twa_generic Algorithm patterns /// \addtogroup twa_generic Algorithm patterns
/// \ingroup twa_algorithms /// \ingroup twa_algorithms
/// \addtogroup twa_reduction TGBA simplifications /// \addtogroup twa_reduction TωA simplifications
/// \ingroup twa_algorithms /// \ingroup twa_algorithms
/// \addtogroup twa_misc Miscellaneous algorithms on TGBA /// \addtogroup twa_misc Miscellaneous algorithms on TωA
/// \ingroup twa_algorithms /// \ingroup twa_algorithms
} }