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

* src/graph/graph.hh, src/tgba/tgbagraph.hh: Cosmetic fixes.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2014-06-20 13:46:39 +02:00
parent 13673a1421
commit 84f92541f3
2 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/graph/graph.hh
View file

@ -97,7 +97,7 @@ namespace spot
{
}
// if Data is a POS type, G++ 4.8.2 wants default values for all
// if Data is a POD type, G++ 4.8.2 wants default values for all
// label fields unless we define this default constructor here.
explicit boxed_label()
{

10
src/tgba/tgbagraph.hh
View file

@ -174,11 +174,6 @@ namespace spot
last_support_conditions_input_ = 0;
}
graph_t& get_graph()
{
return g_;
}
template <typename State_Name,
typename Name_Hash = std::hash<State_Name>,
typename Name_Equal = std::equal_to<State_Name>>
@ -188,6 +183,11 @@ namespace spot
return new named_graph<graph_t, State_Name, Name_Hash, Name_Equal>(g_);
}
graph_t& get_graph()
{
return g_;
}
const graph_t& get_graph() const
{
return g_;