CUDDSharedMTBDD: Implement release function for leaves - Githubissues

ondrik-research-archived / libsfta

Symbolic Finite Tree Automata library

GNU General Public License v3.0

4 stars 1 forks source link

CUDDSharedMTBDD: Implement release function for leaves #2

Open ondrik opened 14 years ago

ondrik commented 14 years ago

Implement release function for leaves that would properly release the leaves.