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

ta: compatibility with Swig 1.3.

Browse source 
* src/ta/taexplicit.hh (state_ta_explicit): Hide contents from Swig.
* src/ta/ta.hh (scc_stack_ta): Hide class from Swig.
This commit is contained in:
Alexandre Duret-Lutz 2012-09-04 14:04:28 +02:00
parent 5939d6f493
commit eb5de929ca
2 changed files with 5 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/ta/ta.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2010 Laboratoire de Recherche et Developpement // Copyright (C) 2010, 2012 Laboratoire de Recherche et Developpement
// de l Epita (LRDE). // de l Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -213,6 +213,7 @@ namespace spot
}; };
#ifndef SWIG
// A stack of Strongly-Connected Components // A stack of Strongly-Connected Components
class scc_stack_ta class scc_stack_ta
{ {
@ -265,6 +266,7 @@ namespace spot
typedef std::list<connected_component> stack_type; typedef std::list<connected_component> stack_type;
stack_type s; stack_type s;
}; };
#endif // !SWIG
/// \addtogroup ta_representation TA representations /// \addtogroup ta_representation TA representations
/// \ingroup ta /// \ingroup ta

3
src/ta/taexplicit.hh
View file

@ -149,6 +149,7 @@ namespace spot
/// \ingroup ta_representation /// \ingroup ta_representation
class state_ta_explicit : public spot::state class state_ta_explicit : public spot::state
{ {
#ifndef SWIG
public: public:
/// Explicit transitions. /// Explicit transitions.
@ -237,7 +238,7 @@ namespace spot
bool is_livelock_accepting_state_; bool is_livelock_accepting_state_;
transitions* transitions_; transitions* transitions_;
Sgi::hash_map<int, transitions*, Sgi::hash<int> > transitions_by_condition; Sgi::hash_map<int, transitions*, Sgi::hash<int> > transitions_by_condition;
#endif // !SWIG
}; };
/// Successor iterators used by spot::ta_explicit. /// Successor iterators used by spot::ta_explicit.