Skip to content
GitLab
Menu
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
77261479
Commit
77261479
authored
Mar 08, 2017
by
Alexandre Duret-Lutz
Browse files
* spot/twaalgos/remfin.cc: Typos in comment.
parent
47e1c969
Changes
1
Hide whitespace changes
Inline
Side-by-side
spot/twaalgos/remfin.cc
View file @
77261479
...
...
@@ -86,8 +86,8 @@ namespace spot
auto
sccaut
=
mask_keep_accessible_states
(
aut
,
keep
,
states
.
front
());
// Force SBA to false. It does not affect the emptiness
// check result, however it prevent recurring into this
// procedure, because empty() will call
to_tgba() which will
// call remove_fin()...
// procedure, because
is_
empty() will call
//
to_generalized_buchi() which will
call remove_fin()...
sccaut
->
prop_state_acc
(
false
);
// If SCCAUT is empty, the SCC is BA-type (and none
// of its states are final). If SCCAUT is nonempty, the SCC
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a 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