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

remove useless reachiter.hh includes

Browse source 
* spot/twaalgos/dot.cc, spot/twaalgos/hoa.cc,
spot/twaalgos/neverclaim.cc, spot/twaalgos/sccfilter.cc,
spot/twaalgos/simulation.cc, spot/twaalgos/stripacc.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2018-05-16 14:27:49 +02:00
parent 4d82758726
commit f3a80a58c5
6 changed files with 1 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/dot.cc
View file

@ -28,7 +28,6 @@
#include <spot/twa/twagraph.hh> #include <spot/twa/twagraph.hh>
#include <spot/twaalgos/dot.hh> #include <spot/twaalgos/dot.hh>
#include <spot/twa/bddprint.hh> #include <spot/twa/bddprint.hh>
#include <spot/twaalgos/reachiter.hh>
#include <spot/misc/escape.hh> #include <spot/misc/escape.hh>
#include <spot/twa/twagraph.hh> #include <spot/twa/twagraph.hh>
#include <spot/twa/formula2bdd.hh> #include <spot/twa/formula2bdd.hh>
@ -950,8 +949,7 @@ namespace spot
} // anonymous namespace } // anonymous namespace
std::ostream& std::ostream&
print_dot(std::ostream& os, const const_twa_ptr& g, print_dot(std::ostream& os, const const_twa_ptr& g, const char* options)
const char* options)
{ {
dotty_output d(os, options); dotty_output d(os, options);
// Enable state labels for Kripke structure. // Enable state labels for Kripke structure.

1
spot/twaalgos/hoa.cc
View file

@ -25,7 +25,6 @@
#include <spot/twa/twa.hh> #include <spot/twa/twa.hh>
#include <spot/twa/twagraph.hh> #include <spot/twa/twagraph.hh>
#include <spot/twaalgos/hoa.hh> #include <spot/twaalgos/hoa.hh>
#include <spot/twaalgos/reachiter.hh>
#include <spot/misc/escape.hh> #include <spot/misc/escape.hh>
#include <spot/misc/bddlt.hh> #include <spot/misc/bddlt.hh>
#include <spot/misc/minato.hh> #include <spot/misc/minato.hh>

1
spot/twaalgos/neverclaim.cc
View file

@ -26,7 +26,6 @@
#include <spot/twaalgos/neverclaim.hh> #include <spot/twaalgos/neverclaim.hh>
#include <spot/twa/bddprint.hh> #include <spot/twa/bddprint.hh>
#include <spot/twa/twagraph.hh> #include <spot/twa/twagraph.hh>
#include <spot/twaalgos/reachiter.hh>
#include <spot/tl/print.hh> #include <spot/tl/print.hh>
#include <spot/twa/formula2bdd.hh> #include <spot/twa/formula2bdd.hh>

1
spot/twaalgos/sccfilter.cc
View file

@ -19,7 +19,6 @@
#include "config.h" #include "config.h"
#include <spot/twaalgos/sccfilter.hh> #include <spot/twaalgos/sccfilter.hh>
#include <spot/twaalgos/reachiter.hh>
#include <spot/twaalgos/sccinfo.hh> #include <spot/twaalgos/sccinfo.hh>
namespace spot namespace spot

1
spot/twaalgos/simulation.cc
View file

@ -26,7 +26,6 @@
#include <spot/twaalgos/simulation.hh> #include <spot/twaalgos/simulation.hh>
#include <spot/misc/minato.hh> #include <spot/misc/minato.hh>
#include <spot/twa/bddprint.hh> #include <spot/twa/bddprint.hh>
#include <spot/twaalgos/reachiter.hh>
#include <spot/twaalgos/sccfilter.hh> #include <spot/twaalgos/sccfilter.hh>
#include <spot/twaalgos/sepsets.hh> #include <spot/twaalgos/sepsets.hh>
#include <spot/twaalgos/isdet.hh> #include <spot/twaalgos/isdet.hh>

1
spot/twaalgos/stripacc.cc
View file

@ -19,7 +19,6 @@
#include "config.h" #include "config.h"
#include <spot/twaalgos/stripacc.hh> #include <spot/twaalgos/stripacc.hh>
#include <spot/twaalgos/reachiter.hh>
namespace spot namespace spot
{ {