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

Add documentation for is_stutter_invariant.

Browse source 
* src/tgbaalgos/stutter_invariance.hh: Add documentation.
This commit is contained in:
Thibaud Michaud 2014-11-17 12:04:45 +01:00 • committed by Alexandre Duret-Lutz
parent 10c4a92ddb
commit 6400ec852b
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tgbaalgos/stutter_invariance.hh
View file

@ -24,7 +24,8 @@
namespace spot
{
// TODO doc
/// \ingroup ltl_misc
/// \brief Check if a formula has the stutter invariance property.
SPOT_API bool
is_stutter_invariant(const ltl::formula* f);