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
2bca21f7
Commit
2bca21f7
authored
Sep 24, 2017
by
Alexandre Duret-Lutz
Browse files
postproc: fix a comment
* spot/twaalgos/postproc.cc: Here.
parent
1689c08e
Changes
1
Hide whitespace changes
Inline
Side-by-side
spot/twaalgos/postproc.cc
View file @
2bca21f7
...
...
@@ -152,7 +152,7 @@ namespace spot
if
(
scc_filter_
==
0
)
return
a
;
// If the automaton is weak, using transition-based acceptance
// won't help, so let's preserve
it
.
// won't help, so let's preserve
state-based acceptance
.
if
((
state_based_
||
a
->
prop_inherently_weak
().
is_true
())
&&
a
->
prop_state_acc
().
is_true
())
return
scc_filter_states
(
a
,
arg
);
...
...
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