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

More documentation.

Browse source 
* src/tgbaalgos/randomgraph.hh: Document the fact that adding
acceptance conditions to the graph may generate graphs that do not
have any accepting cycle.
This commit is contained in:
Alexandre Duret-Lutz 2011-11-23 10:57:29 +01:00
parent 3010d7051b
commit fd98345c17
2 changed files with 13 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
ChangeLog
View file

@ -1,3 +1,11 @@
2011-11-23 Alexandre Duret-Lutz <adl@lrde.epita.fr>
More documentation.
* src/tgbaalgos/randomgraph.hh: Document the fact that adding
acceptance conditions to the graph may generate graphs that do not
have any accepting cycle.
2011-11-17 Alexandre Duret-Lutz <adl@lrde.epita.fr> 2011-11-17 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Display transition annotations in dotty output. Display transition annotations in dotty output.

5
src/tgbaalgos/randomgraph.hh
View file

@ -1,3 +1,5 @@
// Copyright (C) 2011 Laboratoire de Recherche et Developpement de
// l'Epita (LRDE).
// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6), // Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
@ -43,6 +45,9 @@ namespace spot
/// \param ap The list of atomic property that should label the transition. /// \param ap The list of atomic property that should label the transition.
/// \param dict The bdd_dict to used for this automata. /// \param dict The bdd_dict to used for this automata.
/// \param n_acc The number of acceptance sets to use. /// \param n_acc The number of acceptance sets to use.
/// If this number is non null, then there is no guarantee
/// that the generated graph contains an accepting cycle (raise
/// the value of \a a to improve the chances).
/// \param a The probability (between 0.0 and 1.0) that a transition belongs /// \param a The probability (between 0.0 and 1.0) that a transition belongs
/// to an acceptance set. /// to an acceptance set.
/// \param t The probability (between 0.0 and 1.0) that an atomic proposition /// \param t The probability (between 0.0 and 1.0) that an atomic proposition