Commit be17fc19 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgba/bdddict.hh (bdd_dict::annon_free_list): Hide from Swig.

parent 8a84cc6f
2004-04-13 Alexandre Duret-Lutz <adl@src.lip6.fr>
* 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.
......
......@@ -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<const void*, annon_free_list,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment