search

ondrik-research-archived / libsfta

Symbolic Finite Tree Automata library
GNU General Public License v3.0
4 stars 1 forks source link

CUDDSharedMTBDD: Implement monadic Apply that does not create new MTBDD #5

Open ondrik opened 14 years ago

ondrik commented 14 years ago

A monadic Apply that only performs operation on leaves (e.g. collects all leaves) and does not create a new MTBDD.