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

* src/tgba/tgbaexplicit.hh: Fix clang-3.0 warnings.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2012-05-03 10:55:19 +02:00
parent 2c3df109e1
commit 1f54581215
1 changed files with 5 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

22
src/tgba/tgbaexplicit.hh
View file

@ -76,7 +76,7 @@ namespace spot
{
}
void destroy() const
virtual void destroy() const
{
}
@ -149,10 +149,6 @@ namespace spot
{
}
virtual void destroy()
{
}
static const int default_val;
};
@ -172,10 +168,6 @@ namespace spot
{
}
virtual void destroy()
{
}
static const std::string default_val;
};
@ -195,10 +187,6 @@ namespace spot
{
}
virtual void destroy()
{
}
static const ltl::formula* default_val;
};
@ -748,7 +736,7 @@ namespace spot
public:
explicit_conf(bdd_dict* d): graph(d)
{
set_to_string_func(to_string);
this->set_to_string_func(to_string);
};
static std::string to_string(const typename Type::label_t& l)
@ -765,7 +753,7 @@ namespace spot
public:
explicit_conf(bdd_dict* d): graph(d)
{
set_to_string_func(to_string);
this->set_to_string_func(to_string);
};
static std::string to_string(const std::string& l)
@ -780,13 +768,13 @@ namespace spot
public:
explicit_conf(bdd_dict* d): graph(d)
{
set_to_string_func(to_string);
this->set_to_string_func(to_string);
};
// Enable UTF8 output for the formulae that label states.
void enable_utf8()
{
set_to_string_func(to_utf8_string);
this->set_to_string_func(to_utf8_string);
}
static std::string to_string(const ltl::formula* const& l)