Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Commits
0dca4be6
Commit
0dca4be6
authored
Nov 25, 2010
by
Alexandre Duret-Lutz
Browse files
* src/tgbaalgos/scc.hh: Typos in the documentation.
parent
0a2dbab4
Changes
2
Hide whitespace changes
Inline
Side-by-side
ChangeLog
View file @
0dca4be6
2010-11-25 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbaalgos/scc.hh: Typos in the documentation.
2010-11-24 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbaalgos/sccfilter.hh: Fix some typos in the documentation.
...
...
src/tgbaalgos/scc.hh
View file @
0dca4be6
...
...
@@ -134,7 +134,7 @@ namespace spot
/// \pre This should only be called once build_map() has run.
bdd
acc_set_of
(
unsigned
n
)
const
;
/// \brief Return the set of useful acceptance conditions
i
f SCC \a n.
/// \brief Return the set of useful acceptance conditions
o
f SCC \a n.
///
/// Useless acceptances conditions are always implied by other acceptances
/// conditions. This returns all the other acceptance conditions.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment