From be17fc19f5abbf913cccbee6ba54edff91fc3080 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 13 Apr 2004 09:56:44 +0000 Subject: [PATCH] * src/tgba/bdddict.hh (bdd_dict::annon_free_list): Hide from Swig. --- ChangeLog | 2 ++ src/tgba/bdddict.hh | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/ChangeLog b/ChangeLog index b566126cb..fb1b0725b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2004-04-13 Alexandre Duret-Lutz + * src/tgba/bdddict.hh (bdd_dict::annon_free_list): Hide from Swig. + * src/tgbaalgo/semptinesscheck.hh (counter_example): New class, extracted from ... (emptiness_check): ... here. diff --git a/src/tgba/bdddict.hh b/src/tgba/bdddict.hh index 0591ebcd8..691b7eb50 100644 --- a/src/tgba/bdddict.hh +++ b/src/tgba/bdddict.hh @@ -169,6 +169,9 @@ namespace spot void unregister_variable(vr_map::iterator& cur, const void* me); + // SWIG does not grok the following definition, no idea why. + // It's not important for the Python interface anyway. +#ifndef SWIG class annon_free_list : public spot::free_list { public: @@ -180,6 +183,7 @@ namespace spot private: bdd_dict* dict_; }; +#endif /// List of unused anonymous variable number for each automaton. typedef Sgi::hash_map