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

* src/tl/simplify.hh: Fix comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-10-18 11:56:58 +02:00
parent 9689c4ccfc
commit 21be883cf6
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tl/simplify.hh
View file

@ -109,7 +109,7 @@ namespace spot
/// Build the negative normal form of formula \a f. /// Build the negative normal form of formula \a f.
/// All negations of the formula are pushed in front of the /// All negations of the formula are pushed in front of the
/// atomic propositions. Operators <=>, =>, xor are all removed /// atomic propositions. Operators <=>, =>, xor are all removed
/// (calling spot::unabbreviate_ltl is not needed). /// (calling spot::unabbreviate for those is not needed).
/// ///
/// \param f The formula to normalize. /// \param f The formula to normalize.
/// \param negated If \c true, return the negative normal form of /// \param negated If \c true, return the negative normal form of