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

python: fix output of twa_run

Browse source 
* src/twaalgos/emptiness.hh, src/twaalgos/emptiness.cc: Declare the
operator<< for twa_run, not for twa_run_ptr (the shared_ptr
automatically forward operator<<).
* wrap/python/spot_impl.i: Add __str__ to twa_run, not twa_run_ptr.
This commit is contained in:
Alexandre Duret-Lutz 2015-10-29 17:24:10 +01:00
parent f6af2a84cb
commit aaff42ee22
3 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/twaalgos/emptiness.cc
View file

@ -254,9 +254,9 @@ namespace spot
} }
std::ostream& std::ostream&
operator<<(std::ostream& os, const twa_run_ptr& run) operator<<(std::ostream& os, const twa_run& run)
{ {
auto& a = run->aut; auto& a = run.aut;
bdd_dict_ptr d = a->get_dict(); bdd_dict_ptr d = a->get_dict();
auto pstep = [&](const twa_run::step& st) auto pstep = [&](const twa_run::step& st)
@ -268,11 +268,11 @@ namespace spot
os << '\n'; os << '\n';
}; };
os << "Prefix:" << std::endl; os << "Prefix:\n";
for (auto& s: run->prefix) for (auto& s: run.prefix)
pstep(s); pstep(s);
os << "Cycle:" << std::endl; os << "Cycle:\n";
for (auto& s: run->cycle) for (auto& s: run.cycle)
pstep(s); pstep(s);
return os; return os;
} }

2
src/twaalgos/emptiness.hh
View file

@ -332,7 +332,7 @@ namespace spot
/// actually exists in the automaton (and will also display any /// actually exists in the automaton (and will also display any
/// transition annotation). /// transition annotation).
SPOT_API SPOT_API
friend std::ostream& operator<<(std::ostream& os, const twa_run_ptr& run); friend std::ostream& operator<<(std::ostream& os, const twa_run& run);
}; };
/// @} /// @}

2
wrap/python/spot_impl.i
View file

@ -383,7 +383,7 @@ namespace std {
} }
} }
%extend spot::twa_run_ptr { %extend spot::twa_run {
std::string __str__() std::string __str__()
{ {
std::ostringstream os; std::ostringstream os;