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
dfdefdf6
Commit
dfdefdf6
authored
Oct 23, 2003
by
Alexandre Duret-Lutz
Browse files
* src/tgbaalgos/emptinesscheck.hh, src/tgbaalgos/emptinesscheck.cc:
Remove superfluous includes.
parent
90099e47
Changes
3
Hide whitespace changes
Inline
Side-by-side
ChangeLog
View file @
dfdefdf6
2003-10-23 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/emptinesscheck.hh, src/tgbaalgos/emptinesscheck.cc:
Remove superfluous includes.
* src/tgbaalgos/emptinesscheck.hh (emptiness_check::emptiness_check):
New, take the automaton to work on, and store it ...
(emptiness_check::aut_): ... in this new attribute.
...
...
src/tgbaalgos/emptinesscheck.cc
View file @
dfdefdf6
#include
"emptinesscheck.hh"
#include
"tgba/tgba.hh"
#include
"tgba/state.hh"
#include
"tgba/bddprint.hh"
#include
"tgba/tgbabddfactory.hh"
#include
"tgba/succiterconcrete.hh"
#include
"tgba/tgbabddconcrete.hh"
#include
"bdd.h"
#include
<map>
#include
<list>
#include
<stack>
#include
<queue>
#include
<stdio.h>
#include
<vector>
#include
<set>
#include
<utility>
#include
<ostream>
namespace
spot
{
...
...
src/tgbaalgos/emptinesscheck.hh
View file @
dfdefdf6
#ifndef SPOT_EMPTINESS_CHECK_HH
# define SPOT_EMPTINESS_CHECK_HH
#include
"tgba/tgba.hh"
#include
"tgba/statebdd.hh"
#include
"tgba/tgbabddfactory.hh"
#include
"tgba/succiterconcrete.hh"
#include
"tgba/tgbabddconcrete.hh"
#include
<map>
#include
<stack>
#include
<list>
#include
<vector>
#include
<set>
#include
<utility>
#include
<ostream>
#include
<
i
ostream>
namespace
spot
{
...
...
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