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

dot, hoa: enable "k" also for fair_kripke

Browse source 
* spot/twaalgos/dot.cc, spot/twaalgos/hoa.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2016-02-03 08:46:50 +01:00
parent 2c67c68766
commit 35c8beaa3c
2 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twaalgos/dot.cc
View file

@ -31,7 +31,7 @@
#include <spot/twa/formula2bdd.hh>
#include <spot/twaalgos/copy.hh>
#include <spot/twaalgos/sccinfo.hh>
#include <spot/kripke/kripke.hh>
#include <spot/kripke/fairkripke.hh>
#include <cstdlib>
#include <cstring>
#include <algorithm>
@ -665,7 +665,7 @@ namespace spot
{
dotty_output d(os, options);
// Enable automatic state labels for Kripke structure.
if (std::dynamic_pointer_cast<const kripke>(g))
if (std::dynamic_pointer_cast<const fair_kripke>(g))
d.parse_opts("k");
auto aut = std::dynamic_pointer_cast<const twa_graph>(g);
if (!aut || (d.max_states_given() && aut->num_states() >= d.max_states()))

4
spot/twaalgos/hoa.cc
View file

@ -33,7 +33,7 @@
#include <spot/misc/minato.hh>
#include <spot/twa/formula2bdd.hh>
#include <spot/tl/formula.hh>
#include <spot/kripke/kripke.hh>
#include <spot/kripke/fairkripke.hh>
namespace spot
{
@ -586,7 +586,7 @@ namespace spot
// for Kripke structures, automatically append "k" to the options.
char* tmpopt = nullptr;
if (std::dynamic_pointer_cast<const kripke>(aut))
if (std::dynamic_pointer_cast<const fair_kripke>(aut))
{
unsigned n = opt ? strlen(opt) : 0;
tmpopt = new char[n + 2];