MapLeafAllocator: implement reference counting for leaves

ondrik-research-archived / libsfta

Symbolic Finite Tree Automata library

GNU General Public License v3.0

4 stars 1 forks source link

Open ondrik opened 14 years ago

ondrik commented 14 years ago

Implement reference counting for leaves.

ondrik commented 14 years ago

This may be difficult due to the fact, that MTBDD can anytime copy or collapse leaf nodes.